sjm.engine
Class NumberFact

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

public class NumberFact

extends Atom

implements ArithmeticTerm

A NumberFact is a fact with a Number as its functor.

Fields inherited from class sjm.engine.Fact

resolvent

Fields inherited from class sjm.engine.Structure

emptyList, functor, terms

Constructor Summary

NumberFact(double d)
Contructs a number fact from the double.

NumberFact(java.lang.Number functor)
Contructs a number fact from the Numer.

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

NumberFact

public NumberFact(double d)

Contructs a number fact from the double.

Parameters:

double - a number to wrap as an atom

NumberFact

public NumberFact(java.lang.Number functor)

Contructs a number fact from the Numer.

Parameters:

Number - a number to wrap as an atom