partage
Interface ComplexInstance.LogicalObjectAgentFormula

All Superinterfaces:

ComplexInstance.LogicalObjectFormula

All Known Implementing Classes:

ComplexInstance.GenericObjectAgentFormula, ComplexInstance.ObjectAgentAtom, ComplexInstance.ObjectAgentClause, ComplexInstance.ObjectAgentDNF

Enclosing class:

ComplexInstance

public static interface ComplexInstance.LogicalObjectAgentFormula
extends ComplexInstance.LogicalObjectFormula

A static interface representing any propositional formula over the set of alloc(o,i) (the set of propositional variables representing the allocation of objects o to agents i).

Version:

july 2007

Author:

Sylvain Bouveret

Method Summary

int[]

getAgents() This methods returns the set of agents concerned by the formula.

Methods inherited from interface partage.ComplexInstance.LogicalObjectFormula

getObjects

Method Detail

getAgents

int[] getAgents()

This methods returns the set of agents concerned by the formula.

Returns:

the set of agents.