jade.semantics.lang.sl.grammar.operations

Class BelieveNodeOperations

java.lang.Object

jade.semantics.lang.sl.grammar.operations.DefaultNodeOperations

jade.semantics.lang.sl.grammar.operations.FormulaNodeOperations

jade.semantics.lang.sl.grammar.operations.BelieveNodeOperations

All Implemented Interfaces:

Formula.Operations, Node.Operations

public class BelieveNodeOperations
extends FormulaNodeOperations

Constructor Summary

Constructors

Constructor and Description
BelieveNodeOperations()

Method Summary

Modifier and Type	Method and Description
Formula	getDoubleMirror(Formula node, Term i, Term j, boolean default_result_is_true)
Formula	isBeliefFrom(Formula node, Term agent)
boolean	isMentalAttitude(Formula node, Term term)
boolean	isSubsumedBy(Formula node, Formula formula)
void	simplify(Formula node)

Methods inherited from class jade.semantics.lang.sl.grammar.operations.FormulaNodeOperations

getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, initNode, instantiate, isAFreeVariable, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, match

Methods inherited from class jade.semantics.lang.sl.grammar.operations.DefaultNodeOperations

compare, doSimplifyNode, equals, nodesToSimplify, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface jade.semantics.lang.sl.grammar.Node.Operations

compare, equals, toString

Constructor Detail

BelieveNodeOperations

public BelieveNodeOperations()

Method Detail

simplify

public void simplify(Formula node)

Specified by:

simplify in interface Formula.Operations

Overrides:

simplify in class FormulaNodeOperations

isMentalAttitude

public boolean isMentalAttitude(Formula node,
                                Term term)

Specified by:

isMentalAttitude in interface Formula.Operations

Overrides:

isMentalAttitude in class FormulaNodeOperations

isBeliefFrom

public Formula isBeliefFrom(Formula node,
                            Term agent)

Specified by:

isBeliefFrom in interface Formula.Operations

Overrides:

isBeliefFrom in class FormulaNodeOperations

isSubsumedBy

public boolean isSubsumedBy(Formula node,
                            Formula formula)

Specified by:

isSubsumedBy in interface Formula.Operations

Overrides:

isSubsumedBy in class FormulaNodeOperations

getDoubleMirror

public Formula getDoubleMirror(Formula node,
                               Term i,
                               Term j,
                               boolean default_result_is_true)

Specified by:

getDoubleMirror in interface Formula.Operations

Overrides:

getDoubleMirror in class FormulaNodeOperations