sjm.engine
Class BooleanFact

java.lang.Object
  |
  +--sjm.engine.Structure
        |
        +--sjm.engine.Fact
              |
              +--sjm.engine.Atom
                    |
                    +--sjm.engine.BooleanFact

public class BooleanFact

extends Atom

A BooleanFact is a fact with either Boolean.TRUE or Boolean.FALSE as its functor.

Fields inherited from class sjm.engine.Fact

resolvent

Fields inherited from class sjm.engine.Structure

emptyList, functor, terms

Constructor Summary

BooleanFact(boolean b)
Contructs a boolean fact from the boolean.

BooleanFact(java.lang.Boolean b)
Contructs a boolean fact from the provide Boolean.

Methods inherited from class sjm.engine.Atom

eval

Methods inherited from class sjm.engine.Fact

copyForProof, dynamicAxiom, facts, head, resolvent, unify

Methods inherited from class sjm.engine.Structure

arity, canFindNextProof, equals, functorAndArityEquals, headAndTail, isList, list, list, list, listTailString, listTermsToString, terms, toString, unify, unify, unify, variables

Methods inherited from class java.lang.Object

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

Constructor Detail

BooleanFact

public BooleanFact(java.lang.Boolean b)

Contructs a boolean fact from the provide Boolean.

Parameters:

Boolean - Boolan.TRUE or Boolean.FALSE

BooleanFact

public BooleanFact(boolean b)

Contructs a boolean fact from the boolean.

Parameters:

boolean - true or false