|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectparser.chocogen.ObjectFactory
parser.chocogen.RelationFactory
public class RelationFactory
Factory to create relations
Field Summary |
---|
Fields inherited from class parser.chocogen.ObjectFactory |
---|
AC2001, AC2008, AC32, algorithmAC, m, parser |
Constructor Summary | |
---|---|
RelationFactory(Model model,
InstanceParser parser)
|
Method Summary | |
---|---|
static boolean |
checkEqInCouples(PRelation brel,
PDomain[] pdom)
|
static boolean |
checkNeqInCouples(PRelation brel,
PDomain[] pdom)
|
static boolean |
detectIntensionConstraint(PExtensionConstraint pec)
Try to recognize if brel (a binary relation only) is : - x = y 0 - x ! |
double |
getCartesianProduct(PRelation prel)
return the cartesian product of the variables prel holds. |
int[] |
getMax(PRelation prel)
return the minimum value of the variables on which prel holds. |
int[] |
getMin(PRelation prel)
return the minimum value of the variables on which prel holds. |
static int[] |
getTuple(int val,
int arity)
|
static int |
getVal(int[] bint)
|
void |
initializeExtList()
|
boolean |
isAllBoolean(PRelation prel)
return the cartesian product of the variables prel holds. |
boolean |
isSatDecomposable(PRelation prel)
|
BinRelation |
makeBinRelation(PRelation prel)
|
static XmlClause |
makeClause(int[] cl,
int valtest)
|
static void |
makeClausesEncoding(PRelation prel)
|
static DFA |
makeDFA(PRelation prel)
|
LargeRelation |
makeLargeRelation(PRelation prel)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RelationFactory(Model model, InstanceParser parser)
Method Detail |
---|
public void initializeExtList()
public static DFA makeDFA(PRelation prel)
public LargeRelation makeLargeRelation(PRelation prel)
public BinRelation makeBinRelation(PRelation prel)
public boolean isSatDecomposable(PRelation prel)
public static int getVal(int[] bint)
public static int[] getTuple(int val, int arity)
public static void makeClausesEncoding(PRelation prel)
public static XmlClause makeClause(int[] cl, int valtest)
public double getCartesianProduct(PRelation prel)
prel
-
public boolean isAllBoolean(PRelation prel)
prel
-
public int[] getMin(PRelation prel)
prel
-
public int[] getMax(PRelation prel)
prel
-
public static boolean detectIntensionConstraint(PExtensionConstraint pec)
pec
- public static boolean checkEqInCouples(PRelation brel, PDomain[] pdom)
public static boolean checkNeqInCouples(PRelation brel, PDomain[] pdom)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |