ix.ip2
Class ForAllCM

java.lang.Object
  extended by ix.ip2.ForAllCM
All Implemented Interfaces:
ConstraintManager, IXAgentExtension

public class ForAllCM
extends java.lang.Object
implements ConstraintManager, IXAgentExtension

Manager for for-all constraints.

The syntax is:

    (FOR ALL (variable IN list : pattern) = value)
 


Field Summary
(package private)  Ip2 ip2
           
(package private)  Ip2ModelManager mm
           
 
Constructor Summary
ForAllCM(Ip2 ip2)
           
 
Method Summary
 void addConstraint(Constraint c)
           
 void addConstraint(PNode node, Constraint c)
           
 void clear()
           
 void evalAtBegin(PNodeEnd ne, Constraint c)
           
 void evalAtEnd(PNodeEnd ne, Constraint c)
           
 void installExtension()
           
 boolean mightInteract(PNodeEnd ne1, Constraint c1, PNodeEnd ne2, Constraint c2)
           
 void registerWith(ConstraintManagerRegistry r)
           
 void reset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ip2

Ip2 ip2

mm

Ip2ModelManager mm
Constructor Detail

ForAllCM

public ForAllCM(Ip2 ip2)
Method Detail

registerWith

public void registerWith(ConstraintManagerRegistry r)
Specified by:
registerWith in interface ConstraintManager

installExtension

public void installExtension()
Specified by:
installExtension in interface IXAgentExtension

reset

public void reset()
Specified by:
reset in interface ConstraintManager

clear

public void clear()
Specified by:
clear in interface ConstraintManager

addConstraint

public void addConstraint(Constraint c)
Specified by:
addConstraint in interface ConstraintManager
Throws:
java.lang.UnsupportedOperationException - if called.

addConstraint

public void addConstraint(PNode node,
                          Constraint c)
Specified by:
addConstraint in interface ConstraintManager

evalAtBegin

public void evalAtBegin(PNodeEnd ne,
                        Constraint c)
Specified by:
evalAtBegin in interface ConstraintManager

evalAtEnd

public void evalAtEnd(PNodeEnd ne,
                      Constraint c)
Specified by:
evalAtEnd in interface ConstraintManager

mightInteract

public boolean mightInteract(PNodeEnd ne1,
                             Constraint c1,
                             PNodeEnd ne2,
                             Constraint c2)
Specified by:
mightInteract in interface ConstraintManager