parser.absconparseur.components
Class PRelation
java.lang.Object
parser.absconparseur.components.PRelation
- Direct Known Subclasses:
- PSoftRelation
public class PRelation
- extends Object
Constructor Summary |
PRelation(String name,
int arity,
int nbTuples,
String semantics,
int[][] tuples)
|
PRelation(String name,
int arity,
int nbTuples,
String semantics,
int[][] tuples,
int[] weights,
int defaultCost)
|
name
protected String name
nbTuples
protected int nbTuples
arity
protected int arity
semantics
protected String semantics
tuples
protected int[][] tuples
brel
protected BinRelation brel
- Choco relation representing this PRelation if it is binary
lrel
protected LargeRelation lrel
- Choco relation representing this PRelation if it is nrary
satencoding
protected List<XmlClause> satencoding
- Representing this extentional constraint by a set of
clauses
dfa
protected DFA dfa
- DFA to represent the table
eqInTuples
protected boolean eqInTuples
neqInTuples
protected boolean neqInTuples
PRelation
public PRelation(String name,
int arity,
int nbTuples,
String semantics,
int[][] tuples,
int[] weights,
int defaultCost)
PRelation
public PRelation(String name,
int arity,
int nbTuples,
String semantics,
int[][] tuples)
getName
public String getName()
getArity
public int getArity()
getNbTuples
public int getNbTuples()
getSemantics
public String getSemantics()
getTuples
public int[][] getTuples()
getBrel
public BinRelation getBrel()
setBrel
public void setBrel(BinRelation brel)
getLrel
public LargeRelation getLrel()
setLrel
public void setLrel(LargeRelation lrel)
getDfa
public DFA getDfa()
setDfa
public void setDfa(DFA dfa)
setClauseEncoding
public void setClauseEncoding(List<XmlClause> encoding)
getSatEncoding
public List<XmlClause> getSatEncoding()
isNeqInTuples
public boolean isNeqInTuples()
setNeqInTuples
public void setNeqInTuples(boolean neqInTuples)
isEqInTuples
public boolean isEqInTuples()
setEqInTuples
public void setEqInTuples(boolean eqInTuples)
checkEqInCouples
public boolean checkEqInCouples()
checkNeqInCouples
public boolean checkNeqInCouples()
getListTuples
public List<int[]> getListTuples()
eraseListTuple
public void eraseListTuple()
getWeights
public int[] getWeights()
getDefaultCost
public int getDefaultCost()
getMaximalCost
public int getMaximalCost()
computeCostOf
public int computeCostOf(int[] tuple)
toString
public String toString()
- Overrides:
toString
in class Object
isSimilarTo
public boolean isSimilarTo(int arity,
int nbTuples,
String semantics,
int[][] tuples)
getStringListOfTuples
public String getStringListOfTuples()
hashCode
public int hashCode()
- Overrides:
hashCode
in class Object
Copyright © 2012. All Rights Reserved.