Uses of Class
partage.ComplexInstance.GenericObjectAgentFormula

Uses of ComplexInstance.GenericObjectAgentFormula in partage

Methods in partage that return ComplexInstance.GenericObjectAgentFormula

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