Package scale.score.dependence.omega.omegaLib

Implements the Omega Library in Java®.

See:
Description

Class Summary

CName	CName.
CoefVarDecl	CoefVarDecl.
Conjunct	Conjunct.
ConstraintHandle	ConstraintHandle.
DNF	DNF.
EQHandle	EQHandle.
Equation	A representation of a linear equation.
FAnd	FAnd.
FDeclaration	FDeclaration.
FExists	FExists.
FForall	FForall.
FNot	FNot.
FOr	FOr.
Formula	Presburger Formula base class.
FreeVarDecl	FreeVarDecl.
GEQHandle	GEQHandle.
GlobalVarDecl	GlobalVarDecl.
Mapping	Mapping for relations.
OmegaLib	This class is defined as the basis for using the Omega Library.
Problem	Problem.
Relation	Relation.
RelBody	RelBody.
RememberRedConstraint	RememberRedConstraint.
VarDecl	Variable declaration.

Package scale.score.dependence.omega.omegaLib Description

Implements the Omega Library in Java®.