ix.ip2
Class ForAllCM

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