lij.model
Class ConstraintMethod
java.lang.Object
lij.model.ConstraintMethod
- All Implemented Interfaces:
- Constraint
public class ConstraintMethod
- extends java.lang.Object
- implements Constraint
This implementation of a Constraint is used to call a constraint method.
- Author:
- Nikolaos Chatzinikolaou
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
constraintMethodTerm
private Term constraintMethodTerm
ConstraintMethod
public ConstraintMethod(Term _constraintMethodTerm)
- Constructor.
- Parameters:
_constraintMethodTerm
- The Term denoting the method associated with
this constraint.
getConstraintMethodTerm
public Term getConstraintMethodTerm()
- Accessor.
- Returns:
- The Term denoting the method associated with this constraint.
clone
public java.lang.Object clone()
- Specified by:
clone
in interface Constraint
- Overrides:
clone
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object