Constraint Manager Protocol

Communication with Redux'

From Redux to CM	From CM to Redux
DefineVariableDomain	DeclareConstraintViolation
DefinePOInstances	RejectionReasons
CreateConstraint	RequestInputs
ValidConstraint	CancelInputs
InvalidConstraint	Register
DeclareConstraint	UnRegister
ValidAssignment
InvalidAssignment
POInstanceChange
DomainChange

Communication with Agents

From Agent to CM	From CM to Agent
DefineClass	RequestInputs
DefineObjectSet
DefinePO
RequestInputs	Notice
VirtualAssignment	VirtialAssignmentResult
Ask	Reply