ix.icore.domain
Class Constraint
java.lang.Object
|
+--ix.icore.domain.Constraint
- All Implemented Interfaces:
- java.lang.Cloneable, Sendable, java.io.Serializable
- public class Constraint
- extends java.lang.Object
- implements java.io.Serializable, java.lang.Cloneable, Sendable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
type
protected Symbol type
relation
protected Symbol relation
parameters
protected java.util.List parameters
senderId
protected Name senderId
Constraint
public Constraint()
Constraint
public Constraint(Symbol type,
Symbol relation,
java.util.List parameters)
getType
public Symbol getType()
setType
public void setType(Symbol type)
getRelation
public Symbol getRelation()
setRelation
public void setRelation(Symbol relation)
getParameters
public java.util.List getParameters()
setParameters
public void setParameters(java.util.List p)
getParameter
public java.lang.Object getParameter(int i)
getSenderId
public Name getSenderId()
- Specified by:
getSenderId
in interface Sendable
setSenderId
public void setSenderId(Name id)
- Specified by:
setSenderId
in interface Sendable
instantiate
public Constraint instantiate(MatchEnv env,
Function1 ifUnbound)
clone
public java.lang.Object clone()
throws java.lang.CloneNotSupportedException
- Specified by:
clone
in interface Sendable
- Overrides:
clone
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object