partage
Class ComplexInstance.ObjectAgentAtom

java.lang.Object
  extended by partage.ComplexInstance.ObjectAgentAtom
All Implemented Interfaces:
ComplexInstance.LogicalObjectAgentFormula, ComplexInstance.LogicalObjectFormula
Enclosing class:
ComplexInstance

public static class ComplexInstance.ObjectAgentAtom
extends java.lang.Object
implements ComplexInstance.LogicalObjectAgentFormula

A static class representing an atomic propositional variable (i.e. an alloc(object, agent)).

Version:
july 2007
Author:
Sylvain Bouveret

Constructor Summary
ComplexInstance.ObjectAgentAtom(int _object, int _agent)
           
 
Method Summary
 int[] getAgents()
          This methods returns the set of agents concerned by the formula.
 int[] getObjects()
          This methods returns the set of objects concerned by the formula.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ComplexInstance.ObjectAgentAtom

public ComplexInstance.ObjectAgentAtom(int _object,
                                       int _agent)
Method Detail

getObjects

public int[] getObjects()
Description copied from interface: ComplexInstance.LogicalObjectFormula
This methods returns the set of objects concerned by the formula.

Specified by:
getObjects in interface ComplexInstance.LogicalObjectFormula
Returns:
the set of objects.

getAgents

public int[] getAgents()
Description copied from interface: ComplexInstance.LogicalObjectAgentFormula
This methods returns the set of agents concerned by the formula.

Specified by:
getAgents in interface ComplexInstance.LogicalObjectAgentFormula
Returns:
the set of agents.

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object