parser.absconparseur.components
Class PSoftRelation

java.lang.Object
  extended by parser.absconparseur.components.PRelation
      extended by parser.absconparseur.components.PSoftRelation

public class PSoftRelation
extends PRelation


Field Summary
 
Fields inherited from class parser.absconparseur.components.PRelation
arity, brel, dfa, eqInTuples, lrel, name, nbTuples, neqInTuples, satencoding, semantics, tuples
 
Constructor Summary
PSoftRelation(String name, int arity, int nbTuples, String semantics, int[][] tuples, int[] weights, int defaultCost)
           
 
Method Summary
 int computeCostOf(int[] tuple)
           
 int getDefaultCost()
           
 int getMaximalCost()
           
 String getStringListOfTuples()
           
 int[] getWeights()
           
 boolean isSimilarTo(int arity, int nbTuples, String semantics, int[][] tuples, int[] weights, int defaultCost)
           
 String toString()
           
 
Methods inherited from class parser.absconparseur.components.PRelation
checkEqInCouples, checkNeqInCouples, eraseListTuple, getArity, getBrel, getDfa, getListTuples, getLrel, getName, getNbTuples, getSatEncoding, getSemantics, getTuples, hashCode, isEqInTuples, isNeqInTuples, isSimilarTo, setBrel, setClauseEncoding, setDfa, setEqInTuples, setLrel, setNeqInTuples
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PSoftRelation

public PSoftRelation(String name,
                     int arity,
                     int nbTuples,
                     String semantics,
                     int[][] tuples,
                     int[] weights,
                     int defaultCost)
Method Detail

getWeights

public int[] getWeights()
Overrides:
getWeights in class PRelation

getDefaultCost

public int getDefaultCost()
Overrides:
getDefaultCost in class PRelation

getMaximalCost

public int getMaximalCost()
Overrides:
getMaximalCost in class PRelation

computeCostOf

public int computeCostOf(int[] tuple)
Overrides:
computeCostOf in class PRelation

toString

public String toString()
Overrides:
toString in class PRelation

isSimilarTo

public boolean isSimilarTo(int arity,
                           int nbTuples,
                           String semantics,
                           int[][] tuples,
                           int[] weights,
                           int defaultCost)

getStringListOfTuples

public String getStringListOfTuples()
Overrides:
getStringListOfTuples in class PRelation


Copyright © 2012. All Rights Reserved.