Package ca.uqac.lif.cep.fol

Class LazyBooleanFunction.Implies

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.LazyBooleanFunction

ca.uqac.lif.cep.fol.LazyBooleanFunction.Implies

All Implemented Interfaces:

ca.uqac.lif.azrael.Printable, ca.uqac.lif.azrael.Readable, ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction

Enclosing class:

LazyBooleanFunction

public static class LazyBooleanFunction.Implies
extends LazyBooleanFunction

Nested Class Summary

Nested classes/interfaces inherited from class ca.uqac.lif.cep.fol.LazyBooleanFunction

LazyBooleanFunction.And, LazyBooleanFunction.DummyInterpretationFunction, LazyBooleanFunction.Implies, LazyBooleanFunction.Or

Field Summary

Fields inherited from class ca.uqac.lif.cep.fol.LazyBooleanFunction

m_left, m_right, m_stopValue

Fields inherited from class ca.uqac.lif.cep.functions.Function

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
Implies(ca.uqac.lif.cep.functions.Function left, ca.uqac.lif.cep.functions.Function right)

Method Summary

Modifier and Type	Method	Description
LazyBooleanFunction.Implies	duplicate(boolean with_state)
java.lang.String	toString()

Methods inherited from class ca.uqac.lif.cep.fol.LazyBooleanFunction

evaluate, evaluate, getInputArity, getInputTypesFor, getOutputArity, getOutputTypeFor, reset

Methods inherited from class ca.uqac.lif.cep.functions.Function

duplicate, evaluate, evaluateLazy, evaluatePartial, print, printState, read, readState

Methods inherited from class java.lang.Object

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

Constructor Detail

Implies

public Implies(ca.uqac.lif.cep.functions.Function left,
               ca.uqac.lif.cep.functions.Function right)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

duplicate

public LazyBooleanFunction.Implies duplicate(boolean with_state)

Specified by:

duplicate in interface ca.uqac.lif.cep.Duplicable

Overrides:

duplicate in class LazyBooleanFunction