|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PRelation | |
---|---|
parser.absconparseur.components | |
parser.absconparseur.tools | |
parser.chocogen |
Uses of PRelation in parser.absconparseur.components |
---|
Subclasses of PRelation in parser.absconparseur.components | |
---|---|
class |
PSoftRelation
|
Methods in parser.absconparseur.components that return PRelation | |
---|---|
PRelation |
PExtensionConstraint.getRelation()
|
Constructors in parser.absconparseur.components with parameters of type PRelation | |
---|---|
PExtensionConstraint(String name,
PVariable[] scope,
PRelation relation)
|
Uses of PRelation in parser.absconparseur.tools |
---|
Methods in parser.absconparseur.tools that return types with arguments of type PRelation | |
---|---|
Map<String,PRelation> |
InstanceParser.getMapOfRelations()
|
List<PRelation> |
InstanceCheckerParser.getNewRelations()
|
Map<String,PRelation> |
InstanceCheckerParser.getRelationsMap()
|
Uses of PRelation in parser.chocogen |
---|
Methods in parser.chocogen with parameters of type PRelation | |
---|---|
static boolean |
RelationFactory.checkEqInCouples(PRelation brel,
PDomain[] pdom)
|
static boolean |
RelationFactory.checkNeqInCouples(PRelation brel,
PDomain[] pdom)
|
double |
RelationFactory.getCartesianProduct(PRelation prel)
return the cartesian product of the variables prel holds. |
int[] |
RelationFactory.getMax(PRelation prel)
return the minimum value of the variables on which prel holds. |
int[] |
RelationFactory.getMin(PRelation prel)
return the minimum value of the variables on which prel holds. |
boolean |
RelationFactory.isAllBoolean(PRelation prel)
return the cartesian product of the variables prel holds. |
boolean |
RelationFactory.isSatDecomposable(PRelation prel)
|
BinRelation |
RelationFactory.makeBinRelation(PRelation prel)
|
static void |
RelationFactory.makeClausesEncoding(PRelation prel)
|
static DFA |
RelationFactory.makeDFA(PRelation prel)
|
LargeRelation |
RelationFactory.makeLargeRelation(PRelation prel)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |