lij.model
Class ConstraintMethod

java.lang.Object
  extended by 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

Field Summary
private  Term constraintMethodTerm
           
 
Constructor Summary
ConstraintMethod(Term _constraintMethodTerm)
          Constructor.
 
Method Summary
 java.lang.Object clone()
           
 Term getConstraintMethodTerm()
          Accessor.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

constraintMethodTerm

private Term constraintMethodTerm
Constructor Detail

ConstraintMethod

public ConstraintMethod(Term _constraintMethodTerm)
Constructor.

Parameters:
_constraintMethodTerm - The Term denoting the method associated with this constraint.
Method Detail

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