Uses of Class
zeus.concepts.ResolutionContext

Packages that use ResolutionContext

zeus.concepts
zeus.concepts.fn

Uses of ResolutionContext in zeus.concepts

Fields in zeus.concepts declared as ResolutionContext

protected ResolutionContext	Goal.context
(package private) ResolutionContext	Task.resolution_context

Methods in zeus.concepts that return ResolutionContext

ResolutionContext	Goal.getResolutionContext()
ResolutionContext	Parser.resolutionContext(OntologyDb db)
ResolutionContext	PrimitiveTask.getContext()
ResolutionContext	ResolutionContext.duplicate(java.lang.String name, GenSym genSym)
ResolutionContext	ResolutionContext.duplicate(DuplicationTable table)
ResolutionContext	SummaryTask.getContext()
abstract ResolutionContext	Task.getContext()
static ResolutionContext	ZeusParser.resolutionContext(OntologyDb db, java.lang.String str)

Methods in zeus.concepts with parameters of type ResolutionContext

(package private) boolean	AttributeList.resolve(ResolutionContext context, Bindings bindings)
boolean	Fact.resolve(ResolutionContext context, Bindings bindings)
void	Goal.setResolutionContext(ResolutionContext context)
void	ResolutionContext.add(ResolutionContext c)
boolean	TaskNode.resolve(ResolutionContext context, Bindings bindings)

Constructors in zeus.concepts with parameters of type ResolutionContext

ResolutionContext(ResolutionContext c)

Uses of ResolutionContext in zeus.concepts.fn

Methods in zeus.concepts.fn with parameters of type ResolutionContext

ValueFunction	AndFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ArithmeticFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ComparisonFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ConstraintBFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ConstraintFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	DefinedFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ElseFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	FactFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	FieldFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ImplyFn.resolve(ResolutionContext c, Bindings bb)
ValueFunction	LogicalAndFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	LogicalNotFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	LogicalOrFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	MethodCallFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	OrFn.resolve(ResolutionContext c, Bindings b)
ValueFunction	ValueFunction.resolve(ResolutionContext c, Bindings b)
ValueFunction	VectorFn.resolve(ResolutionContext c, Bindings b)