|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PDomain | |
---|---|
parser.absconparseur.components | |
parser.absconparseur.tools | |
parser.chocogen |
Uses of PDomain in parser.absconparseur.components |
---|
Methods in parser.absconparseur.components that return PDomain | |
---|---|
PDomain |
PVariable.getDomain()
|
Methods in parser.absconparseur.components with parameters of type PDomain | |
---|---|
int |
PDomain.getIntersectionSize(PDomain dom2)
|
Constructors in parser.absconparseur.components with parameters of type PDomain | |
---|---|
PVariable(String name,
PDomain domain)
|
Uses of PDomain in parser.absconparseur.tools |
---|
Methods in parser.absconparseur.tools that return types with arguments of type PDomain | |
---|---|
Map<String,PDomain> |
InstanceParser.getMapOfDomains()
|
Uses of PDomain in parser.chocogen |
---|
Methods in parser.chocogen with parameters of type PDomain | |
---|---|
static boolean |
RelationFactory.checkEqInCouples(PRelation brel,
PDomain[] pdom)
|
static boolean |
RelationFactory.checkNeqInCouples(PRelation brel,
PDomain[] pdom)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |