Package ca.uqac.lif.cep.fol

Class ForAllInterpretation

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.QuantifierInterpretation

ca.uqac.lif.cep.fol.ForAllInterpretation

All Implemented Interfaces:

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

public class ForAllInterpretation
extends QuantifierInterpretation

Field Summary

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

m_domainName, m_expression, m_failFast, m_stopValue, m_variableName

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

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
ForAllInterpretation(java.lang.String variable_name, java.lang.String domain_name, ca.uqac.lif.cep.functions.Function expression)

Method Summary

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

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

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

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

ForAllInterpretation

public ForAllInterpretation(java.lang.String variable_name,
                            java.lang.String domain_name,
                            ca.uqac.lif.cep.functions.Function expression)

Method Detail

duplicate

public ForAllInterpretation duplicate(boolean with_state)

Specified by:

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

Specified by:

duplicate in class ca.uqac.lif.cep.functions.Function

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object