jade.semantics.lang.sl.grammar

Class QuantifiedFormula

java.lang.Object

jade.semantics.lang.sl.grammar.Node

jade.semantics.lang.sl.grammar.Formula

jade.semantics.lang.sl.grammar.QuantifiedFormula

All Implemented Interfaces:

Comparable

Direct Known Subclasses:

ExistsNode, ForallNode

public abstract class QuantifiedFormula
extends Formula

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_formula
(package private) static int	_as_variable
static int	as_formula_ID
static int	as_variable_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
QuantifiedFormula(int capacity, Variable as_variable, Formula as_formula)

Method Summary

Modifier and Type	Method and Description
Formula	as_formula()
void	as_formula(Formula s)
Variable	as_variable()
void	as_variable(Variable s)
void	copyValueOf(Node n, HashMap clones)
Object	getAttribute(int attrname)
int	getClassID() This method return the dynamic class ID of the node.
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

accept, addObserver, addOperations, children, childrenAccept, childrenOfKind, childrenOfKind, childrenOfKind, compare, compareTo, copyValueOf, dofind, dump, equals, find, find, find, find, getAttribute, getClone, 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_variable

static int _as_variable

_as_formula

static int _as_formula

as_variable_ID

public static int as_variable_ID

as_formula_ID

public static int as_formula_ID

Constructor Detail

QuantifiedFormula

public QuantifiedFormula(int capacity,
                         Variable as_variable,
                         Formula as_formula)

Method Detail

getClassID

public 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 Formula

copyValueOf

public void copyValueOf(Node n,
                        HashMap clones)

Overrides:

copyValueOf in class Formula

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 Formula

Returns:

the object implementing the operations of this node.

as_variable

public Variable as_variable()

as_variable

public void as_variable(Variable s)

as_formula

public Formula as_formula()

as_formula

public void as_formula(Formula 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