Uses of Class
parser.absconparseur.components.PRelation

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)
           
 



Copyright © 2012. All Rights Reserved.