partage
Class ComplexInstance.LogicalConstraint

java.lang.Object
  partage.ComplexInstance.LogicalConstraint

All Implemented Interfaces:

ComplexInstance.Constraint

Enclosing class:

ComplexInstance

public static class ComplexInstance.LogicalConstraint
extends java.lang.Object
implements ComplexInstance.Constraint

A static class implementing a constraint expressed on the propositional language over the variables alloc(object, agent).

Version:

july 07

Author:

Sylvain Bouveret

Constructor Summary

ComplexInstance.LogicalConstraint(ComplexInstance.LogicalObjectAgentFormula _formula)
The constructor of the logical constraint.

Method Summary

ComplexInstance.LogicalObjectAgentFormula	getFormula() The standard getter to the constraint.
int[]	getObjects()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ComplexInstance.LogicalConstraint

public ComplexInstance.LogicalConstraint(ComplexInstance.LogicalObjectAgentFormula _formula)

The constructor of the logical constraint.

Parameters:

_formula - the formula specifying the constraint.

Method Detail

getFormula

public ComplexInstance.LogicalObjectAgentFormula getFormula()

The standard getter to the constraint.

Returns:

the formula specifying the constraint.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getObjects

public int[] getObjects()

Specified by:

getObjects in interface ComplexInstance.Constraint