ics.TripleApl.LiteralWff Class Reference

Inheritance diagram for ics.TripleApl.LiteralWff:

List of all members.

Public Member Functions
	LiteralWff (boolean d, Atom a)
Wff	copy ()
boolean	wffMatches (Wff wff, SubstList theta, BeliefBase beliefBase)
void	doSubst (SubstList sub)
boolean	equals (Wff w)
void	getVars (Vector vars)
boolean	isEmpty ()
void	simplify ()
void	simplify (BeliefBase bb)
String	toPrologString ()
String	toPrologString (Vector vars)
String	toString ()
Atom	getAtom ()
Vector	getParameters ()
boolean	eval (BeliefBase bb, SubstList sub)
Object	clone ()
Private Attributes
Atom	atom
String	stringValue

---

Detailed Description

A class for a `simple' Well Formed Formulae.

Author:

Meindert Kroese

Version:

2.0, July 2003

Since:

1.0, August 2002

---

Constructor & Destructor Documentation

ics.TripleApl.LiteralWff.LiteralWff (  boolean  d, Atom  a )

Constructor for a LiteralWff, d indicates a negation if d==false. Parameters: d  a possible nagation. a  the content of the wff.

---

Member Function Documentation

Object ics.TripleApl.LiteralWff.clone (   )  [virtual]

Implements ics.TripleApl.Wff.

Wff ics.TripleApl.LiteralWff.copy (   )  [virtual]

Method to make a copy of a wff. Returns: Wff, a copy of the wff. Implements ics.TripleApl.Wff.

void ics.TripleApl.LiteralWff.doSubst (  SubstList  sub  )  [virtual]

Method to replace the variables in this wff with their values. Parameters: sl  the list of variables and their values. Implements ics.TripleApl.Wff.

boolean ics.TripleApl.LiteralWff.equals (  Wff  w  )  [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. Implements ics.TripleApl.Wff.

boolean ics.TripleApl.LiteralWff.eval (  BeliefBase  bb, SubstList  sub )

Method in which the wff is evaluated and it results in true or false. Variables are subsituted using sub and/or bb and the wff is calculated. Parameters: bb  the BeliefBase. sub  the list of variables and their values. @ return boolean, the result of the evaluation.

Atom ics.TripleApl.LiteralWff.getAtom (   )

Method to get a copy of the atom of the LiteralWff. Returns: Atom.

Vector ics.TripleApl.LiteralWff.getParameters (   )

Method to get the parameters used in this wff. Returns: Vector filled with the parameters.

void ics.TripleApl.LiteralWff.getVars (  Vector  vars  )  [virtual]

Method to fill a Vector with the variables used in this wff. Parameters: vars  the Vector to be filled. Implements ics.TripleApl.Wff.

boolean ics.TripleApl.LiteralWff.isEmpty (   )  [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. Implements ics.TripleApl.Wff.

void ics.TripleApl.LiteralWff.simplify (  BeliefBase  bb  )  [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. Implements ics.TripleApl.Wff.

void ics.TripleApl.LiteralWff.simplify (   )  [virtual]

Method to simplify a wff as far as possible (making calculations in parameters, or boolean calculations in OperatorWffs). Implements ics.TripleApl.Wff.

String ics.TripleApl.LiteralWff.toPrologString (  Vector  vars  )  [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. Implements ics.TripleApl.Wff.

String ics.TripleApl.LiteralWff.toPrologString (   )  [virtual]

Method to get the wff in a `Prolog friendly' form. Returns: String, the wff in a `Prolog friendly' form. Implements ics.TripleApl.Wff.

String ics.TripleApl.LiteralWff.toString (   )  [virtual]

Method to get the wff in a printable form. Returns: String, the wff in a printable form. Implements ics.TripleApl.Wff.

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

Implements ics.TripleApl.Wff.

---

Member Data Documentation

Atom ics.TripleApl.LiteralWff.atom [private]

String ics.TripleApl.LiteralWff.stringValue [private]

---

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

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

---