| Constructors in zeus.concepts with parameters of type ValueFunction |
BindingsRecord(ValueFunction left,
ValueFunction right)
|
PlanScript(java.lang.String name,
ValueFunction time,
ValueFunction cost,
TaskNode[] nodes,
TaskLink[] links,
LogicalFn[] constraints)
|
PlanScript(java.lang.String name,
ValueFunction time,
ValueFunction cost,
java.util.Vector nodes,
java.util.Vector links,
java.util.Vector constraints)
|
PlanScript(java.lang.String name,
boolean autorun,
ValueFunction time,
ValueFunction cost,
TaskNode[] nodes,
TaskLink[] links,
LogicalFn[] constraints)
|
PlanScript(java.lang.String name,
boolean autorun,
ValueFunction time,
ValueFunction cost,
java.util.Vector nodes,
java.util.Vector links,
java.util.Vector constraints)
|
PrimitiveTask(java.lang.String name,
ValueFunction time,
ValueFunction cost,
Fact[] produced,
Fact[] consumed,
LogicalFn[] constraints,
Ordering[] ordering)
|
PrimitiveTask(java.lang.String name,
ValueFunction time,
ValueFunction cost,
java.util.Vector produced,
java.util.Vector consumed,
java.util.Vector constraints,
java.util.Vector ordering)
|
SummaryTask(java.lang.String name,
ValueFunction time,
ValueFunction cost,
TaskNode[] nodes,
TaskLink[] links,
LogicalFn[] constraints)
|
SummaryTask(java.lang.String name,
ValueFunction time,
ValueFunction cost,
java.util.Vector nodes,
java.util.Vector links,
java.util.Vector constraints)
|
| Methods in zeus.concepts.fn that return ValueFunction |
(package private) ValueFunction |
AndFn.simplify()
|
protected ValueFunction |
AndFn.concatenate(java.util.Vector data,
java.util.Hashtable cache)
|
protected ValueFunction |
AndFn.concatenate(java.util.Vector data,
int i,
java.util.Hashtable cache)
|
(package private) ValueFunction |
AndFn.normalize()
|
ValueFunction |
AndFn.mirror()
|
ValueFunction |
AndFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
AndFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
AndFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
ArithmeticFn.getLHS()
|
ValueFunction |
ArithmeticFn.getRHS()
|
ValueFunction |
ArithmeticFn.mirror()
|
(package private) ValueFunction |
ArithmeticFn.simplify()
|
(package private) ValueFunction |
ArithmeticFn.normalize()
|
ValueFunction |
ArithmeticFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
ArithmeticFn.evaluationFn()
|
ValueFunction |
ArithmeticFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
ArithmeticFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
BoolFn.mirror()
|
ValueFunction |
ComparisonFn.mirror()
|
(package private) ValueFunction |
ComparisonFn.simplify()
|
ValueFunction |
ComparisonFn.resolve(ResolutionContext c,
Bindings b)
|
(package private) ValueFunction |
ComparisonFn.normalize()
|
ValueFunction |
ComparisonFn.evaluationFn()
|
ValueFunction |
ComparisonFn.duplicate(DuplicationTable table)
|
ValueFunction |
ConstraintBFn.mirror()
|
(package private) ValueFunction |
ConstraintBFn.simplify()
|
(package private) ValueFunction |
ConstraintBFn.normalize()
|
ValueFunction |
ConstraintBFn.resolve(ResolutionContext c,
Bindings b)
|
(package private) ValueFunction |
ConstraintBFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
ConstraintBFn.duplicate(DuplicationTable table)
|
ValueFunction |
ConstraintFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
ConstraintFn.duplicate(DuplicationTable table)
|
ValueFunction |
ConstraintFn.mirror()
|
(package private) ValueFunction |
ConstraintFn.normalize()
|
(package private) ValueFunction |
ConstraintFn.unify(ValueFunction fn,
Bindings b)
|
(package private) static ValueFunction |
ConstraintFn.compare(ConstraintFn a,
PrimitiveFn b)
|
(package private) static ValueFunction |
ConstraintFn.checkRange(ConstraintFn a,
ConstraintFn b)
|
ValueFunction |
DateFn.mirror()
|
(package private) ValueFunction |
DateFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
DateFn.invokeMethod(java.lang.String method,
java.util.Vector args)
|
ValueFunction |
DefinedFn.mirror()
|
(package private) ValueFunction |
DefinedFn.simplify()
|
(package private) ValueFunction |
DefinedFn.normalize()
|
ValueFunction |
DefinedFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
DefinedFn.evaluationFn()
|
ValueFunction |
DefinedFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
DefinedFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
ElseFn.simplify()
|
(package private) ValueFunction |
ElseFn.normalize()
|
ValueFunction |
ElseFn.mirror()
|
ValueFunction |
ElseFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
ElseFn.evaluationFn()
|
ValueFunction |
ElseFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
ElseFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
FactFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
FactFn.duplicate(DuplicationTable table)
|
ValueFunction |
FactFn.mirror()
|
(package private) ValueFunction |
FactFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
FieldFn.mirror()
|
ValueFunction |
FieldFn.duplicate(DuplicationTable table)
|
ValueFunction |
FieldFn.resolve(ResolutionContext c,
Bindings b)
|
(package private) ValueFunction |
FieldFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
IdFn.mirror()
|
(package private) ValueFunction |
IdFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
IdFn.invokeMethod(java.lang.String method,
java.util.Vector arguments)
|
(package private) ValueFunction |
ImplyFn.simplify()
|
(package private) ValueFunction |
ImplyFn.normalize()
|
ValueFunction |
ImplyFn.mirror()
|
ValueFunction |
ImplyFn.resolve(ResolutionContext c,
Bindings bb)
|
ValueFunction |
ImplyFn.evaluationFn()
|
ValueFunction |
ImplyFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
ImplyFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
IntFn.mirror()
|
(package private) ValueFunction |
IntFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
LogicalAndFn.mirror()
|
(package private) ValueFunction |
LogicalAndFn.simplify()
|
(package private) ValueFunction |
LogicalAndFn.normalize()
|
ValueFunction |
LogicalAndFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
LogicalAndFn.evaluationFn()
|
ValueFunction |
LogicalAndFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
LogicalFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
LogicalNotFn.mirror()
|
(package private) ValueFunction |
LogicalNotFn.simplify()
|
(package private) ValueFunction |
LogicalNotFn.normalize()
|
ValueFunction |
LogicalNotFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
LogicalNotFn.evaluationFn()
|
ValueFunction |
LogicalNotFn.duplicate(DuplicationTable table)
|
ValueFunction |
LogicalOrFn.mirror()
|
(package private) ValueFunction |
LogicalOrFn.simplify()
|
(package private) ValueFunction |
LogicalOrFn.normalize()
|
ValueFunction |
LogicalOrFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
LogicalOrFn.evaluationFn()
|
ValueFunction |
LogicalOrFn.duplicate(DuplicationTable table)
|
ValueFunction |
MethodCallFn.mirror()
|
(package private) ValueFunction |
MethodCallFn.simplify()
|
(package private) ValueFunction |
MethodCallFn.normalize()
|
ValueFunction |
MethodCallFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
MethodCallFn.evaluationFn()
|
ValueFunction |
MethodCallFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
MethodCallFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
OrFn.simplify()
|
protected ValueFunction |
OrFn.concatenate(java.util.Vector data,
java.util.Hashtable cache)
|
protected ValueFunction |
OrFn.concatenate(java.util.Vector data,
int i,
java.util.Hashtable cache)
|
ValueFunction |
OrFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
OrFn.normalize()
|
ValueFunction |
OrFn.mirror()
|
ValueFunction |
OrFn.resolve(ResolutionContext c,
Bindings b)
|
(package private) ValueFunction |
OrFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
RealFn.mirror()
|
(package private) ValueFunction |
RealFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
TimeFn.mirror()
|
(package private) ValueFunction |
TimeFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
TypeFn.mirror()
|
ValueFunction |
TypeFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
TypeFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
ValueFunction.unifiesWith(ValueFunction fn,
Bindings b)
|
ValueFunction |
ValueFunction.resolve(Bindings b)
|
ValueFunction |
ValueFunction.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
ValueFunction.duplicate(java.lang.String name,
GenSym genSym)
|
ValueFunction |
ValueFunction.duplicate(DuplicationTable table)
|
ValueFunction |
ValueFunction.evaluationFn()
|
(package private) abstract ValueFunction |
ValueFunction.unify(ValueFunction fn,
Bindings b)
|
abstract ValueFunction |
ValueFunction.mirror()
|
(package private) ValueFunction |
ValueFunction.normalize()
|
(package private) ValueFunction |
ValueFunction.simplify()
|
(package private) ValueFunction |
ValueFunction.invokeMethod(java.lang.String method,
java.util.Vector args)
|
ValueFunction |
VarFn.mirror()
|
ValueFunction |
VarFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
VarFn.unify(ValueFunction fn,
Bindings b)
|
ValueFunction |
VectorFn.mirror()
|
(package private) ValueFunction |
VectorFn.simplify()
|
(package private) ValueFunction |
VectorFn.normalize()
|
ValueFunction |
VectorFn.resolve(ResolutionContext c,
Bindings b)
|
ValueFunction |
VectorFn.duplicate(DuplicationTable table)
|
(package private) ValueFunction |
VectorFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
VectorFn.invokeMethod(java.lang.String method,
java.util.Vector arguments)
|
| Methods in zeus.concepts.fn with parameters of type ValueFunction |
boolean |
AndFn.references(ValueFunction var)
|
(package private) ValueFunction |
AndFn.unify(ValueFunction fn,
Bindings b)
|
void |
ArithmeticFn.resolve(java.lang.String attrName,
ValueFunction val)
resolve is here to handle unification for the postcondition to precondition maps -
this will allow proper use of expressions when defining tasks. |
boolean |
ArithmeticFn.references(ValueFunction var)
|
(package private) ValueFunction |
ArithmeticFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
BoolFn.references(ValueFunction var)
|
boolean |
ComparisonFn.references(ValueFunction var)
|
boolean |
ConstraintBFn.references(ValueFunction var)
|
(package private) ValueFunction |
ConstraintBFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
ConstraintFn.references(ValueFunction var)
|
(package private) ValueFunction |
ConstraintFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
DateFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
DateFn.references(ValueFunction var)
|
boolean |
DefinedFn.references(ValueFunction var)
|
(package private) ValueFunction |
DefinedFn.unify(ValueFunction fn,
Bindings b)
|
void |
ElseFn.resolve(java.lang.String attrName,
ValueFunction val)
resolve is here to handle unification for the postcondition to precondition maps -
this will allow proper use of expressions when defining tasks. |
boolean |
ElseFn.references(ValueFunction var)
|
(package private) ValueFunction |
ElseFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
FactFn.references(ValueFunction var)
|
(package private) ValueFunction |
FactFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
FieldFn.references(ValueFunction var)
|
(package private) ValueFunction |
FieldFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
IdFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
IdFn.references(ValueFunction var)
|
boolean |
ImplyFn.references(ValueFunction var)
|
(package private) ValueFunction |
ImplyFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
IntFn.references(ValueFunction var)
|
(package private) ValueFunction |
IntFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
LogicalAndFn.references(ValueFunction var)
|
(package private) ValueFunction |
LogicalFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
LogicalNotFn.references(ValueFunction var)
|
boolean |
LogicalOrFn.references(ValueFunction var)
|
boolean |
MethodCallFn.references(ValueFunction var)
|
(package private) ValueFunction |
MethodCallFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
OrFn.references(ValueFunction var)
|
(package private) ValueFunction |
OrFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
RealFn.references(ValueFunction var)
|
(package private) ValueFunction |
RealFn.unify(ValueFunction fn,
Bindings b)
|
(package private) ValueFunction |
TimeFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
TimeFn.references(ValueFunction var)
|
boolean |
TypeFn.references(ValueFunction var)
|
(package private) ValueFunction |
TypeFn.unify(ValueFunction fn,
Bindings b)
|
abstract boolean |
ValueFunction.references(ValueFunction var)
|
ValueFunction |
ValueFunction.unifiesWith(ValueFunction fn,
Bindings b)
|
(package private) abstract ValueFunction |
ValueFunction.unify(ValueFunction fn,
Bindings b)
|
boolean |
VarFn.references(ValueFunction var)
|
(package private) ValueFunction |
VarFn.unify(ValueFunction fn,
Bindings b)
|
boolean |
VectorFn.references(ValueFunction var)
|
(package private) ValueFunction |
VectorFn.unify(ValueFunction fn,
Bindings b)
|