partage
Interface ComplexInstance.LogicalObjectFormula

All Known Subinterfaces:
ComplexInstance.LogicalObjectAgentFormula
All Known Implementing Classes:
ComplexInstance.GenericObjectAgentFormula, ComplexInstance.GenericObjectFormula, ComplexInstance.ObjectAgentAtom, ComplexInstance.ObjectAgentClause, ComplexInstance.ObjectAgentDNF, ComplexInstance.ObjectAtom, ComplexInstance.ObjectCNF, ComplexInstance.ObjectDNF
Enclosing class:
ComplexInstance

public static interface ComplexInstance.LogicalObjectFormula

A static interface representing any propositional formula over the set of objects.

Version:
july 2007
Author:
Sylvain Bouveret

Method Summary
 int[] getObjects()
          This methods returns the set of objects concerned by the formula.
 

Method Detail

getObjects

int[] getObjects()
This methods returns the set of objects concerned by the formula.

Returns:
the set of objects.