ics.TripleApl.Wff Class Reference

Inheritance diagram for ics.TripleApl.Wff:

List of all members.

Public Member Functions
boolean	getDenial ()
void	setDenial (boolean b)
abstract Wff	copy ()
abstract void	doSubst (SubstList sl)
abstract boolean	equals (Wff w)
abstract void	getVars (Vector vars)
abstract boolean	isEmpty ()
abstract void	simplify ()
abstract void	simplify (BeliefBase bb)
abstract String	toString ()
abstract String	toPrologString ()
abstract String	toPrologString (Vector vars)
abstract Object	clone ()
abstract boolean	wffMatches (Wff wff, SubstList theta, BeliefBase beliefBase)
Static Public Attributes
static final int	WFF_AND = 0
static final int	WFF_OR = 1
Protected Attributes
boolean	isNotDenied

---

Detailed Description

The class for Well Formed Formulae. This class contains two static values WFF_AND and WFF_OR for use in OperatorWff and other classes in this package.
There is no constructor for this class.

Author:

Meindert Kroese

Version:

2.0, July 2003

Since:

1.0, August 2002

---

Member Function Documentation

abstract Object ics.TripleApl.Wff.clone (   )  [pure virtual]

Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract Wff ics.TripleApl.Wff.copy (   )  [pure virtual]

Method to make a copy of a wff. Returns: Wff, a copy of the wff. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract void ics.TripleApl.Wff.doSubst (  SubstList  sl  )  [pure virtual]

Method to replace the variables in this wff with their values. Parameters: sl  the list of variables and their values. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract boolean ics.TripleApl.Wff.equals (  Wff  w  )  [pure virtual]

Method to test on equality between two wff's. Equality is tested on type and content. Returns: true if the wff's are equal. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

boolean ics.TripleApl.Wff.getDenial (   )

Method to get the negation variable. Returns: false means NOT.

abstract void ics.TripleApl.Wff.getVars (  Vector  vars  )  [pure virtual]

Method to fill a Vector with the variables used in this wff. Parameters: vars  the Vector to be filled. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract boolean ics.TripleApl.Wff.isEmpty (   )  [pure virtual]

Method to test whether the wff is empty. This usually means it has been created with an empty String. Returns: true if the wff is empty. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

void ics.TripleApl.Wff.setDenial (  boolean  b  )

Method to set the negation variable. Parameters: b  the new value of the negation variable.

abstract void ics.TripleApl.Wff.simplify (  BeliefBase  bb  )  [pure virtual]

Method to simplify a wff as far as possible (making calculations in parameters, or boolean calculations in OperatorWffs), using the beliefbase, if necessary. Parameters: bb  the beliefbase. Deprecated: BeliefBase is unused; use simplify() instead. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract void ics.TripleApl.Wff.simplify (   )  [pure virtual]

Method to simplify a wff as far as possible (making calculations in parameters, or boolean calculations in OperatorWffs). Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract String ics.TripleApl.Wff.toPrologString (  Vector  vars  )  [pure virtual]

Method to get the wff in a `Prolog friendly' form. Parameters: vars  Vector of parameters to be subsituted by the Prolog engine. Returns: String, the wff in a `Prolog friendly' form. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract String ics.TripleApl.Wff.toPrologString (   )  [pure virtual]

Method to get the wff in a `Prolog friendly' form. Returns: String, the wff in a `Prolog friendly' form. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract String ics.TripleApl.Wff.toString (   )  [pure virtual]

Method to get the wff in a printable form. Returns: String, the wff in a printable form. Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

abstract boolean ics.TripleApl.Wff.wffMatches (  Wff  wff, SubstList  theta, BeliefBase  beliefBase )  [pure virtual]

Implemented in ics.TripleApl.LiteralWff, and ics.TripleApl.OperatorWff.

---

Member Data Documentation

boolean ics.TripleApl.Wff.isNotDenied [protected]

isNotDenied is the boolean used to indicated a negation. If isNotDenied==false this represents a NOT.

final int ics.TripleApl.Wff.WFF_AND = 0 [static]

final int ics.TripleApl.Wff.WFF_OR = 1 [static]

---

The documentation for this class was generated from the following file:

• D:/3APL_src/tripleAPL/multi/src/ics/TripleApl/Wff.java

---