sjm.engine
Class ConsultingNot

java.lang.Object
  |
  +--sjm.engine.Structure
        |
        +--sjm.engine.Gateway
              |
              +--sjm.engine.ConsultingNot

public class ConsultingNot

extends Gateway

A ConsultingNot is a Not that has an axiom source to consult.

Fields inherited from class sjm.engine.Gateway

open

Fields inherited from class sjm.engine.Structure

emptyList, functor, terms

Constructor Summary

protected

ConsultingNot(ConsultingStructure consultingStructure)

Method Summary

boolean	canProveOnce() Returns false if there is any way to prove this structure.
protected void	cleanup() After succeeding once, unbind any variables bound during the successful proof, and set the axioms to begin again at the beginning.
java.lang.String	toString() Returns a string description of this Not.

Methods inherited from class sjm.engine.Gateway

canFindNextProof

Methods inherited from class sjm.engine.Structure

arity, copyForProof, equals, eval, functorAndArityEquals, headAndTail, isList, list, list, list, listTailString, listTermsToString, terms, unify, unify, unify, variables

Methods inherited from class java.lang.Object

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

Constructor Detail

ConsultingNot

protected ConsultingNot(ConsultingStructure consultingStructure)

Method Detail

canProveOnce

public boolean canProveOnce()

Returns false if there is any way to prove this structure.

Overrides:

canProveOnce in class Gateway

Returns:

false if there is any way to prove this structure

cleanup

protected void cleanup()

After succeeding once, unbind any variables bound during the successful proof, and set the axioms to begin again at the beginning.

Overrides:

cleanup in class Gateway

toString

public java.lang.String toString()

Returns a string description of this Not.

Overrides:

toString in class Structure

Returns:

a string description of this Not