jade.semantics.lang.sl.grammar

Class EqualsNode

java.lang.Object

jade.semantics.lang.sl.grammar.Node

jade.semantics.lang.sl.grammar.Formula

jade.semantics.lang.sl.grammar.AtomicFormula

jade.semantics.lang.sl.grammar.EqualsNode

All Implemented Interfaces:

Comparable

public class EqualsNode
extends AtomicFormula

Nested Class Summary

Nested classes/interfaces inherited from class jade.semantics.lang.sl.grammar.Formula

Formula.Operations

Field Summary

Fields

Modifier and Type	Field and Description
(package private) static int	_as_left_term
(package private) static int	_as_right_term
static int	as_left_term_ID
static int	as_right_term_ID
static Integer	ID

Fields inherited from class jade.semantics.lang.sl.grammar.Formula

_sm_simplified_formula, sm_simplified_formula_ID

Fields inherited from class jade.semantics.lang.sl.grammar.Node

_nodes, _observers, _operations, _thisoperations

Constructor Summary

Constructors

Constructor and Description
EqualsNode()
EqualsNode(Term as_left_term, Term as_right_term)

Method Summary

Modifier and Type	Method and Description
void	accept(Visitor visitor) This method is part of the implementation of the visitor design pattern.
Term	as_left_term()
void	as_left_term(Term s)
Term	as_right_term()
void	as_right_term(Term s)
void	copyValueOf(Node n, HashMap clones)
Object	getAttribute(int attrname)
int	getClassID() This method return the dynamic class ID of the node.
Node	getClone(HashMap clones)
Node.Operations	getOperations() This method returns the object implementing the operations associated to this node.
boolean	hasAttribute(int attrname)
void	setAttribute(int attrname, Object attrvalue)

Methods inherited from class jade.semantics.lang.sl.grammar.Formula

getDoubleMirror, getSimplifiedFormula, getVariablesSubstitution, getVariablesSubstitution, getVariablesSubstitutionAsIn, instantiate, isAFreeVariable, isBeliefFrom, isConsistentWith, isExistsOn, isInstitutionalFact, isInstitutionalFactFrom, isMentalAttitude, isSubsumedBy, match, simplify, sm_simplified_formula, sm_simplified_formula

Methods inherited from class jade.semantics.lang.sl.grammar.Node

addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, hasAttribute, initNode, installOperations, notifyChanges, removeObserver, replace, setAttribute, toString

Methods inherited from class java.lang.Object

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

Field Detail

ID

public static Integer ID

_as_left_term

static int _as_left_term

_as_right_term

static int _as_right_term

as_left_term_ID

public static int as_left_term_ID

as_right_term_ID

public static int as_right_term_ID

Constructor Detail

EqualsNode

public EqualsNode(Term as_left_term,
                  Term as_right_term)

EqualsNode

public EqualsNode()

Method Detail

getClassID

public final int getClassID()

Description copied from class: Node

This method return the dynamic class ID of the node. It is the same for all nodes of the same type. This method which is automatically redefined according the declaration rank of the corresponding operator in the grammar.

Overrides:

getClassID in class AtomicFormula

accept

public void accept(Visitor visitor)

Description copied from class: Node

This method is part of the implementation of the visitor design pattern.

Specified by:

accept in class Node

Parameters:

visitor - the visitor to apply on this node.

getClone

public Node getClone(HashMap clones)

Specified by:

getClone in class Node

copyValueOf

public void copyValueOf(Node n,
                        HashMap clones)

Overrides:

copyValueOf in class AtomicFormula

getOperations

public Node.Operations getOperations()

Description copied from class: Node

This method returns the object implementing the operations associated to this node.

Overrides:

getOperations in class AtomicFormula

Returns:

the object implementing the operations of this node.

as_left_term

public Term as_left_term()

as_left_term

public void as_left_term(Term s)

as_right_term

public Term as_right_term()

as_right_term

public void as_right_term(Term s)

hasAttribute

public boolean hasAttribute(int attrname)

Overrides:

hasAttribute in class Formula

getAttribute

public Object getAttribute(int attrname)

Overrides:

getAttribute in class Formula

setAttribute

public void setAttribute(int attrname,
                         Object attrvalue)

Overrides:

setAttribute in class Formula