ubc.cs.JLog.Animation
Class jAnimate_shapes
java.lang.Object
ubc.cs.JLog.Foundation.jType
ubc.cs.JLog.Terms.jTerm
ubc.cs.JLog.Terms.iPredicate
ubc.cs.JLog.Terms.jBuiltinPredicate
ubc.cs.JLog.Terms.jUnaryBuiltinPredicate
ubc.cs.JLog.Animation.jAnimate
ubc.cs.JLog.Animation.jAnimate_shapes
- All Implemented Interfaces:
- iType, iUnifiable, iConsultable, iName, iNameArity, iTerm, iValue
public class jAnimate_shapes
- extends jAnimate
Fields inherited from class ubc.cs.JLog.Foundation.jType |
type |
Fields inherited from interface ubc.cs.JLog.Foundation.iType |
TYPE_ARITHMETIC, TYPE_ATOM, TYPE_BUILTINPREDICATE, TYPE_COMMAND, TYPE_COMPARE, TYPE_COMPOUND, TYPE_CONS, TYPE_IF, TYPE_INTEGER, TYPE_LIST, TYPE_NULLLIST, TYPE_NUMERICCOMPARE, TYPE_OBJECT, TYPE_OPERATOR, TYPE_OR, TYPE_ORPREDICATE, TYPE_PREDICATE, TYPE_PREDICATETERMS, TYPE_REAL, TYPE_TYPE, TYPE_UNARYARITHMETIC, TYPE_UNARYOPERATOR, TYPE_UNDEFINED, TYPE_VARIABLE |
Methods inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate |
compareArguments, consult, consultReset, copy, duplicate, enumerateVariables, equivalenceArguments, getArguments, getArity, getRHS, isConsultNeeded, prove, registerUnboundVariables, registerVariables, toString, unifyArguments |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
jAnimate_shapes
public jAnimate_shapes(jTerm t)
getName
public java.lang.String getName()
- Description copied from interface:
iName
- Returns the name of this instance.
- Specified by:
getName
in interface iName
- Specified by:
getName
in interface iTerm
- Overrides:
getName
in class jAnimate
- Returns:
String
containing name of this instance.
getNumberArguments
public int getNumberArguments()
- Specified by:
getNumberArguments
in class jAnimate
duplicate
protected jUnaryBuiltinPredicate duplicate(jTerm r)
- Specified by:
duplicate
in class jUnaryBuiltinPredicate
prove
public boolean prove(jAnimateGoal ag,
aAnimationEnvironment ae)
- Overrides:
prove
in class jAnimate
action
protected boolean action(aAnimationEnvironment ae,
jTerm[] terms,
jUnifiedVector uv)
action
protected void action(aAnimationEnvironment ae,
jTerm[] terms)
- Specified by:
action
in class jAnimate