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.