Package ca.uqac.lif.cep.fol

Class ForAll

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.FirstOrderQuantifier

ca.uqac.lif.cep.fol.ForAll

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 ForAll
extends FirstOrderQuantifier

Function that acts as a first-order universal quantifier.

Author:

Sylvain Hallé

Field Summary

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

m_domainFunction, m_function, m_variable

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

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
ForAll(java.lang.String x, ca.uqac.lif.cep.functions.Function f)
ForAll(java.lang.String x, ca.uqac.lif.cep.functions.Function d, ca.uqac.lif.cep.functions.Function f)

Method Summary

Modifier and Type	Method	Description
ca.uqac.lif.cep.functions.Function	duplicate(boolean with_state)
protected void	getVerdict(java.lang.Object[][] inputs, java.lang.Object[] outputs)

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

evaluate, evaluate, getInputArity, getInputTypesFor, getOutputArity, getOutputTypeFor

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ForAll

public ForAll(java.lang.String x,
              ca.uqac.lif.cep.functions.Function f)

ForAll

public ForAll(java.lang.String x,
              ca.uqac.lif.cep.functions.Function d,
              ca.uqac.lif.cep.functions.Function f)

Method Detail

getVerdict

protected void getVerdict(java.lang.Object[][] inputs,
                          java.lang.Object[] outputs)

Specified by:

getVerdict in class FirstOrderQuantifier

duplicate

public ca.uqac.lif.cep.functions.Function 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