Uses of Class
zeus.concepts.fn.LogicalFn

Packages that use LogicalFn

zeus.agentviewer.task
zeus.concepts
zeus.concepts.fn
zeus.generator.task

Uses of LogicalFn in zeus.agentviewer.task

Fields in zeus.agentviewer.task declared as LogicalFn

private LogicalFn[]

ConstraintsModel.data

Methods in zeus.agentviewer.task with parameters of type LogicalFn

void	ConstraintsModel.setConstraints(LogicalFn[] data)

Uses of LogicalFn in zeus.concepts

Methods in zeus.concepts that return LogicalFn

LogicalFn[]

Task.getConstraints()

Methods in zeus.concepts with parameters of type LogicalFn

void	Task.setConstraints(LogicalFn[] List)

Constructors in zeus.concepts with parameters of type LogicalFn

PlanScript(java.lang.String name, ValueFunction time, ValueFunction cost, TaskNode[] nodes, TaskLink[] links, LogicalFn[] constraints)

PlanScript(java.lang.String name, java.lang.String time, java.lang.String cost, TaskNode[] nodes, TaskLink[] links, LogicalFn[] 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, java.lang.String time, java.lang.String cost, TaskNode[] nodes, TaskLink[] links, LogicalFn[] constraints)

PrimitiveTask(java.lang.String name, ValueFunction time, ValueFunction cost, Fact[] produced, Fact[] consumed, LogicalFn[] constraints, Ordering[] ordering)

PrimitiveTask(java.lang.String name, java.lang.String time, java.lang.String cost, Fact[] produced, Fact[] consumed, LogicalFn[] constraints, Ordering[] ordering)

SummaryTask(java.lang.String name, ValueFunction time, ValueFunction cost, TaskNode[] nodes, TaskLink[] links, LogicalFn[] constraints)

SummaryTask(java.lang.String name, java.lang.String time, java.lang.String cost, TaskNode[] nodes, TaskLink[] links, LogicalFn[] constraints)

Uses of LogicalFn in zeus.concepts.fn

Subclasses of LogicalFn in zeus.concepts.fn

class	BoolFn
class	ComparisonFn
class	LogicalAndFn
class	LogicalNotFn
class	LogicalOrFn

Uses of LogicalFn in zeus.generator.task

Methods in zeus.generator.task that return LogicalFn

LogicalFn[]

ConstraintsModel.getData()

Methods in zeus.generator.task with parameters of type LogicalFn

void	ConstraintsModel.reset(LogicalFn[] input)
protected java.lang.Boolean	ConstraintsModel.isValid(LogicalFn fn, java.util.Vector items)

Constructors in zeus.generator.task with parameters of type LogicalFn

ConstraintsModel(BasicFactModel preconditionsModel, BasicFactModel postconditionsModel, LogicalFn[] input)