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

Field Summary
protected  java.util.List parameters
           
protected  Symbol relation
           
protected  Name senderId
           
protected  Symbol type
           
 
Constructor Summary
Constraint()
           
Constraint(Symbol type, Symbol relation, java.util.List parameters)
           
 
Method Summary
 java.lang.Object clone()
           
 java.lang.Object getParameter(int i)
           
 java.util.List getParameters()
           
 Symbol getRelation()
           
 Name getSenderId()
           
 Symbol getType()
           
 Constraint instantiate(MatchEnv env, Function1 ifUnbound)
           
 void setParameters(java.util.List p)
           
 void setRelation(Symbol relation)
           
 void setSenderId(Name id)
           
 void setType(Symbol type)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

type

protected Symbol type

relation

protected Symbol relation

parameters

protected java.util.List parameters

senderId

protected Name senderId
Constructor Detail

Constraint

public Constraint()

Constraint

public Constraint(Symbol type,
                  Symbol relation,
                  java.util.List parameters)
Method Detail

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