Package astra.lang

Class Logic

java.lang.Object

astra.core.Module

astra.lang.Logic

public class Logic
extends Module

Nested Class Summary

Nested classes/interfaces inherited from class astra.core.Module

Module.ACTION, Module.EVENT, Module.FORMULA, Module.SENSOR, Module.SUPPRESS_NOTIFICATIONS, Module.TERM

Field Summary

Fields inherited from class astra.core.Module

agent

Constructor Summary

Constructors

Constructor	Description
Logic()

Method Summary

Modifier and Type	Method	Description
Formula	eval(boolean value)
Funct	toFunctor(Formula formula)
Formula	toPredicate(Funct funct)

Methods inherited from class astra.core.Module

inline, setAgent

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Logic

public Logic()

Method Detail

toPredicate

public Formula toPredicate(Funct funct)

eval

public Formula eval(boolean value)

toFunctor

public Funct toFunctor(Formula formula)