org.aspic.inference
Class BuiltIn

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

Binary, Unary

public abstract class BuiltIn
extends Term

Abstract class for a built-in predicate. A built-in predicate is a Term with extra semantics that may or may not produce a single argument. Arithmetic operators and standard prolog interrogative operators (such as "is/2" or "nonvar/1" or "constant/1") are defined by inheriting from this class.

Author:

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

See Also:

Serialized Form

Constructor Summary

BuiltIn()
Default constructor.

BuiltIn(java.lang.String operator, ElementList argList)
Typical constructor.

Method Summary

Methods inherited from class org.aspic.inference.Term

addArg, apply, 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

BuiltIn

public BuiltIn()

Default constructor.

BuiltIn

public BuiltIn(java.lang.String operator,
               ElementList argList)

Typical constructor.

Parameters:

operator - the built-in predicate's functor.

argList - the list of this built-in predicate's arguments.