Uses of Interface
partage.ComplexInstance.LogicalObjectAgentFormula

Uses of ComplexInstance.LogicalObjectAgentFormula in partage

Classes in partage that implement ComplexInstance.LogicalObjectAgentFormula

static class	ComplexInstance.GenericObjectAgentFormula 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).
static class	ComplexInstance.ObjectAgentAtom A static class representing an atomic propositional variable (i.e. an alloc(object, agent)).
static class	ComplexInstance.ObjectAgentClause A static class representing a clause of litterals alloc(o,i) or not(alloc(o,i)).
static class	ComplexInstance.ObjectAgentDNF A static class representing a propositional logical formula of alloc(o, i) in disjunctive normal form (allows for a more efficient processing of this kind of preferences).

Methods in partage that return ComplexInstance.LogicalObjectAgentFormula

ComplexInstance.LogicalObjectAgentFormula	ComplexInstance.LogicalConstraint.getFormula() The standard getter to the constraint.
ComplexInstance.LogicalObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.getSubformula(int i)

Methods in partage with parameters of type ComplexInstance.LogicalObjectAgentFormula

static ComplexInstance.GenericObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.and(ComplexInstance.LogicalObjectAgentFormula[] _sub) Makes a conjunction of several formulae
static ComplexInstance.GenericObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.and(ComplexInstance.LogicalObjectAgentFormula _sub1, ComplexInstance.LogicalObjectAgentFormula _sub2) Makes a conjunction of two formulae
static ComplexInstance.GenericObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.not(ComplexInstance.LogicalObjectAgentFormula _sub) Makes a negation of a formula
static ComplexInstance.GenericObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.or(ComplexInstance.LogicalObjectAgentFormula[] _sub) Makes a disjunction of several formulae
static ComplexInstance.GenericObjectAgentFormula	ComplexInstance.GenericObjectAgentFormula.or(ComplexInstance.LogicalObjectAgentFormula _sub1, ComplexInstance.LogicalObjectAgentFormula _sub2) Makes a disjunction of two formulae

Constructors in partage with parameters of type ComplexInstance.LogicalObjectAgentFormula

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

ComplexInstance.LogicalConstraint(ComplexInstance.LogicalObjectAgentFormula _formula)
The constructor of the logical constraint.