parser.absconparseur.components
Class PIntensionConstraint

java.lang.Object
  extended by parser.absconparseur.components.PConstraint
      extended by parser.absconparseur.components.PIntensionConstraint

public class PIntensionConstraint
extends PConstraint


Field Summary
 
Fields inherited from class parser.absconparseur.components.PConstraint
chocoCstr, LOGGER, name, scope
 
Constructor Summary
PIntensionConstraint(String name, PVariable[] scope, PFunction function, String effectiveParametersExpression)
           
 
Method Summary
 long computeCostOf(int[] tuple)
          For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
 PFunction getFunction()
           
 String[] getUniversalPostfixExpression()
           
 boolean isGuaranteedToBeDivisionByZeroFree()
           
 boolean isGuaranteedToBeOverflowFree()
           
 String toString()
           
 
Methods inherited from class parser.absconparseur.components.PConstraint
getArity, getChocoCstr, getMaximalCost, getName, getPositionInScope, getScope, hashCode, setChocoCstr
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PIntensionConstraint

public PIntensionConstraint(String name,
                            PVariable[] scope,
                            PFunction function,
                            String effectiveParametersExpression)
Method Detail

getFunction

public PFunction getFunction()

getUniversalPostfixExpression

public String[] getUniversalPostfixExpression()

computeCostOf

public long computeCostOf(int[] tuple)
Description copied from class: PConstraint
For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
For WCSP, returns the cost for the given tuple.

Specified by:
computeCostOf in class PConstraint

toString

public String toString()
Overrides:
toString in class PConstraint

isGuaranteedToBeDivisionByZeroFree

public boolean isGuaranteedToBeDivisionByZeroFree()
Overrides:
isGuaranteedToBeDivisionByZeroFree in class PConstraint

isGuaranteedToBeOverflowFree

public boolean isGuaranteedToBeOverflowFree()
Overrides:
isGuaranteedToBeOverflowFree in class PConstraint


Copyright © 2012. All Rights Reserved.