ieqFile-class {rPorta}R Documentation

Class "ieqFile"

Description

Encapsulates PORTA files describing polyhedra in PORTA's ieq file format.

Objects from the Class

An ieqFile object holds six slots.

Slots

valid:
May be used to specify a valid point for method traf
lower_bounds:
May be used to specify lower bounds for method vint
upper_bounds:
May be used to specify upper bounds for method vint
elimination_order:
May be used to specify the elimination order for method fmel
inequalities:
ieq object describing the inequalities
strong_validity:
Only used for return values containing a strong validity table

Methods

convertToString
Convert to character string in PORTA's format

Extends

Class "portaFile", directly.

Author(s)

Robin Nunkesser Robin.Nunkesser@tu-dortmund.de

See Also

"ieq", "poi", "poiFile"

Examples

# 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)))

[Package rPorta version 0.1-9 Index]