partage
Class ComplexInstance.GenericObjectAgentFormula

java.lang.Object
  partage.ComplexInstance.GenericObjectFormula
      partage.ComplexInstance.GenericObjectAgentFormula

All Implemented Interfaces:

ComplexInstance.LogicalObjectAgentFormula, ComplexInstance.LogicalObjectFormula

Enclosing class:

ComplexInstance

public static class ComplexInstance.GenericObjectAgentFormula
extends ComplexInstance.GenericObjectFormula
implements ComplexInstance.LogicalObjectAgentFormula

A static class representing a generic propositional formula made of an array of subformulae, and a logical operator, on the set of alloc(object, agent).

Version:

july 2007

Author:

Sylvain Bouveret

Field Summary

Fields inherited from class partage.ComplexInstance.GenericObjectFormula

OPERATOR_AND, OPERATOR_NOT, OPERATOR_OR

Constructor Summary

ComplexInstance.GenericObjectAgentFormula(ComplexInstance.LogicalObjectAgentFormula[] _sub, int _op)

Method Summary

static ComplexInstance.GenericObjectAgentFormula	and(ComplexInstance.LogicalObjectAgentFormula[] _sub) Makes a conjunction of several formulae
static ComplexInstance.GenericObjectAgentFormula	and(ComplexInstance.LogicalObjectAgentFormula _sub1, ComplexInstance.LogicalObjectAgentFormula _sub2) Makes a conjunction of two formulae
int[]	getAgents() This methods returns the set of agents concerned by the formula.
ComplexInstance.LogicalObjectAgentFormula	getSubformula(int i)
static ComplexInstance.GenericObjectAgentFormula	not(ComplexInstance.LogicalObjectAgentFormula _sub) Makes a negation of a formula
static ComplexInstance.GenericObjectAgentFormula	or(ComplexInstance.LogicalObjectAgentFormula[] _sub) Makes a disjunction of several formulae
static ComplexInstance.GenericObjectAgentFormula	or(ComplexInstance.LogicalObjectAgentFormula _sub1, ComplexInstance.LogicalObjectAgentFormula _sub2) Makes a disjunction of two formulae

Methods inherited from class partage.ComplexInstance.GenericObjectFormula

and, and, getObjects, getOperator, getSubformulae, not, or, or, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface partage.ComplexInstance.LogicalObjectFormula

getObjects

Constructor Detail

ComplexInstance.GenericObjectAgentFormula

public ComplexInstance.GenericObjectAgentFormula(ComplexInstance.LogicalObjectAgentFormula[] _sub,
                                                 int _op)

Method Detail

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.

not

public static ComplexInstance.GenericObjectAgentFormula not(ComplexInstance.LogicalObjectAgentFormula _sub)

Makes a negation of a formula

Parameters:

_sub - the formula to negate.

Returns:

the negation.

or

public static ComplexInstance.GenericObjectAgentFormula or(ComplexInstance.LogicalObjectAgentFormula[] _sub)

Makes a disjunction of several formulae

Parameters:

_sub - the array of formulae

Returns:

the disjunction.

or

public static ComplexInstance.GenericObjectAgentFormula or(ComplexInstance.LogicalObjectAgentFormula _sub1,
                                                           ComplexInstance.LogicalObjectAgentFormula _sub2)

Makes a disjunction of two formulae

Parameters:

_sub1 - the first formula

_sub2 - the second formula

Returns:

the disjunction.

and

public static ComplexInstance.GenericObjectAgentFormula and(ComplexInstance.LogicalObjectAgentFormula[] _sub)

Makes a conjunction of several formulae

Parameters:

_sub - the array of formulae

Returns:

the conjunction.

and

public static ComplexInstance.GenericObjectAgentFormula and(ComplexInstance.LogicalObjectAgentFormula _sub1,
                                                            ComplexInstance.LogicalObjectAgentFormula _sub2)

Makes a conjunction of two formulae

Parameters:

_sub1 - the first formula

_sub2 - the second formula

Returns:

the conjunction.

getSubformula

public ComplexInstance.LogicalObjectAgentFormula getSubformula(int i)