org.aspic.inference
Class NegationAsFailure

java.lang.Object
  org.aspic.inference.Element
      org.aspic.inference.Constant
          org.aspic.inference.Term
              org.aspic.inference.BuiltIn
                  org.aspic.inference.Unary
                      org.aspic.inference.NegationAsFailure

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

public class NegationAsFailure
extends Unary

Negation as failure unary operator. Generates an atomic argument for the operand expression if it cannot generate an argument from the assoicated knowledge base.

Author:

mjs (matthew.south @ cancer.org.uk)

See Also:

Serialized Form

Constructor Summary

NegationAsFailure(Element element)

Method Summary

Constant

apply(Substitution subs) Return copy of this Element with the substitution applied.

Methods inherited from class org.aspic.inference.Unary

getOperand, setOperand

Methods inherited from class org.aspic.inference.Term

addArg, clone, equals, getArg, hashCode, inspect, isEqualModuloVariables, isGrounded, isUnifiable, negation, numberOfArgs, ruleTag, setArg, setArgList, setKnowledgeBase, unify, write

Methods inherited from class org.aspic.inference.Constant

getFunctor, setFunctor

Methods inherited from class org.aspic.inference.Element

getId, getKnowledgeBase, setId, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NegationAsFailure

public NegationAsFailure(Element element)

Method Detail

apply

public Constant apply(Substitution subs)

Description copied from class: Element

Return copy of this Element with the substitution applied.

Overrides:

apply in class Term

Parameters:

subs - Substitution to apply

Returns:

Copy of this Element with substitution applied to it.