parser.absconparseur.components
Class PRelation

java.lang.Object
  extended by parser.absconparseur.components.PRelation
Direct Known Subclasses:
PSoftRelation

public class PRelation
extends Object


Field Summary
protected  int arity
           
protected  BinRelation brel
          Choco relation representing this PRelation if it is binary
protected  DFA dfa
          DFA to represent the table
protected  boolean eqInTuples
           
protected  LargeRelation lrel
          Choco relation representing this PRelation if it is nrary
protected  String name
           
protected  int nbTuples
           
protected  boolean neqInTuples
           
protected  List<XmlClause> satencoding
          Representing this extentional constraint by a set of clauses
protected  String semantics
           
protected  int[][] tuples
           
 
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)
           
 
Method Summary
 boolean checkEqInCouples()
           
 boolean checkNeqInCouples()
           
 int computeCostOf(int[] tuple)
           
 void eraseListTuple()
           
 int getArity()
           
 BinRelation getBrel()
           
 int getDefaultCost()
           
 DFA getDfa()
           
 List<int[]> getListTuples()
           
 LargeRelation getLrel()
           
 int getMaximalCost()
           
 String getName()
           
 int getNbTuples()
           
 List<XmlClause> getSatEncoding()
           
 String getSemantics()
           
 String getStringListOfTuples()
           
 int[][] getTuples()
           
 int[] getWeights()
           
 int hashCode()
           
 boolean isEqInTuples()
           
 boolean isNeqInTuples()
           
 boolean isSimilarTo(int arity, int nbTuples, String semantics, int[][] tuples)
           
 void setBrel(BinRelation brel)
           
 void setClauseEncoding(List<XmlClause> encoding)
           
 void setDfa(DFA dfa)
           
 void setEqInTuples(boolean eqInTuples)
           
 void setLrel(LargeRelation lrel)
           
 void setNeqInTuples(boolean neqInTuples)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

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)
Method Detail

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.