|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.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_rotate
public class jAnimate_rotate
Field Summary |
---|
Fields inherited from class ubc.cs.JLog.Terms.jUnaryBuiltinPredicate |
---|
rhs |
Fields inherited from class ubc.cs.JLog.Foundation.jType |
---|
type |
Fields inherited from interface ubc.cs.JLog.Terms.iTerm |
---|
EQUAL, GREATER_THAN, LESS_THAN |
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 |
Constructor Summary | |
---|---|
jAnimate_rotate(jTerm t)
|
Method Summary | |
---|---|
protected void |
action(aAnimationEnvironment ae,
jTerm[] terms)
|
protected jUnaryBuiltinPredicate |
duplicate(jTerm r)
|
java.lang.String |
getName()
Returns the name of this instance. |
int |
getNumberArguments()
|
Methods inherited from class ubc.cs.JLog.Animation.jAnimate |
---|
addGoals, addGoals, prove |
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 ubc.cs.JLog.Terms.jBuiltinPredicate |
---|
equivalence, unify |
Methods inherited from class ubc.cs.JLog.Terms.iPredicate |
---|
compare |
Methods inherited from class ubc.cs.JLog.Terms.jTerm |
---|
compare, copy, getTerm, getValue, requiresCompleteVariableState, toString |
Methods inherited from class ubc.cs.JLog.Foundation.jType |
---|
getType, objectToString |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public jAnimate_rotate(jTerm t)
Method Detail |
---|
public java.lang.String getName()
iName
getName
in interface iName
getName
in interface iTerm
getName
in class jAnimate
String
containing name of this instance.public int getNumberArguments()
getNumberArguments
in class jAnimate
protected jUnaryBuiltinPredicate duplicate(jTerm r)
duplicate
in class jUnaryBuiltinPredicate
protected void action(aAnimationEnvironment ae, jTerm[] terms)
action
in class jAnimate
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |