Uses of Class
partage.ComplexInstance.GenericObjectFormula

Uses of ComplexInstance.GenericObjectFormula in partage

Subclasses of ComplexInstance.GenericObjectFormula in partage

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).

Methods in partage that return ComplexInstance.GenericObjectFormula

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