ieqFile-class {rPorta} | R Documentation |
Encapsulates PORTA files describing polyhedra in PORTA's ieq file format.
An ieqFile
object holds six slots.
valid
:traf
lower_bounds
:vint
upper_bounds
:vint
elimination_order
:fmel
inequalities
:ieq
object describing the inequalitiesstrong_validity
:
Class "portaFile"
, directly.
Robin Nunkesser Robin.Nunkesser@tu-dortmund.de
# Show the definition of example.ieq to provide an example example.ieq # A second example ieqFileExample <- new("ieqFile", inequalities=new("ieq", num=matrix(1:100, ncol=10), den=matrix(rep(c(1,3,5,6),25), ncol=10), sign=rep(c(1,0,-1,0,1),2)))