partage
Class ComplexInstance.ObjectAtom

java.lang.Object
  partage.ComplexInstance.ObjectAtom

All Implemented Interfaces:

ComplexInstance.LogicalObjectFormula

Enclosing class:

ComplexInstance

public static class ComplexInstance.ObjectAtom
extends java.lang.Object
implements ComplexInstance.LogicalObjectFormula

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

Version:

july 2007

Author:

Sylvain Bouveret

Constructor Summary

ComplexInstance.ObjectAtom(int _object)

Method Summary

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.ObjectAtom

public ComplexInstance.ObjectAtom(int _object)

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.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object