rule
Class Fact

java.lang.Object
  |
  +--rule.Fact

public class Fact
extends java.lang.Object

The Fact class implements support for facts within a rule base.


Field Summary
(package private)  Clause fact
           
(package private)  boolean fired
           
(package private)  java.lang.String name
           
(package private)  BooleanRuleBase rb
           
(package private)  java.lang.Boolean truth
           
 
Constructor Summary
(package private) Fact(BooleanRuleBase Rb, java.lang.String Name, Clause f)
          Creates a Fact object as part of the given rule base with the specified name and the fact clause.
 
Method Summary
 void assert(BooleanRuleBase rb)
          Asserts the fact in the given rule base.
(package private)  void display(javax.swing.JTextArea textArea)
          Adds display information about this fact to the given text area.
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

rb

BooleanRuleBase rb

name

java.lang.String name

fact

Clause fact

truth

java.lang.Boolean truth

fired

boolean fired
Constructor Detail

Fact

Fact(BooleanRuleBase Rb,
     java.lang.String Name,
     Clause f)
Creates a Fact object as part of the given rule base with the specified name and the fact clause.
Parameters:
Rb - the BooleanRuleBase object that this fact belongs to
Name - the String object that contains the name of the fact
f - the Clause object that contains the fact
Method Detail

assert

public void assert(BooleanRuleBase rb)
Asserts the fact in the given rule base.
Parameters:
rb - the BooleanRuleBase object in which this fact is being asserted

display

void display(javax.swing.JTextArea textArea)
Adds display information about this fact to the given text area.
Parameters:
textArea - the JTextArea object to which the fact information is added