Uses of Class
inpro.irmrsc.rmrs.VariableIDPair

Packages that use VariableIDPair

inpro.irmrsc.rmrs

Uses of VariableIDPair in inpro.irmrsc.rmrs

Fields in inpro.irmrsc.rmrs with type parameters of type VariableIDPair

private java.util.List<VariableIDPair>	Formula.mEqs Variable Equalities
private java.util.List<VariableIDPair>	Formula.mScons Scope Constraints

Constructors in inpro.irmrsc.rmrs with parameters of type VariableIDPair

VariableIDPair(VariableIDPair p)