Package ca.uqac.lif.cep.fol

Class FirstOrderQuantifier

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.FirstOrderQuantifier

All Implemented Interfaces:

ca.uqac.lif.cep.Duplicable, ca.uqac.lif.cep.functions.DuplicableFunction

Direct Known Subclasses:

Exists, ForAll

public abstract class FirstOrderQuantifier
extends ca.uqac.lif.cep.functions.Function

Field Summary

Fields

Modifier and Type	Field	Description
protected ca.uqac.lif.cep.functions.Function	m_domainFunction
protected ca.uqac.lif.cep.functions.Function	m_function
protected String	m_variable

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

s_maxInputArity

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	evaluate(Object[] inputs, Object[] outputs)
void	evaluate(Object[] inputs, Object[] outputs, ca.uqac.lif.cep.Context context)
int	getInputArity()
void	getInputTypesFor(Set<Class<?>> classes, int index)
int	getOutputArity()
Class<?>	getOutputTypeFor(int index)
protected abstract void	getVerdict(Object[][] inputs, Object[] outputs)

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

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

Methods inherited from class java.lang.Object

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

Field Details

m_variable

protected String m_variable

m_function

protected ca.uqac.lif.cep.functions.Function m_function

m_domainFunction

protected ca.uqac.lif.cep.functions.Function m_domainFunction

Constructor Details

FirstOrderQuantifier

public FirstOrderQuantifier(String x,
 ca.uqac.lif.cep.functions.Function d,
 ca.uqac.lif.cep.functions.Function f)

FirstOrderQuantifier

public FirstOrderQuantifier(String x,
 ca.uqac.lif.cep.functions.Function f)

Method Details

evaluate

public void evaluate(Object[] inputs,
 Object[] outputs,
 ca.uqac.lif.cep.Context context)

Specified by:

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

evaluate

public void evaluate(Object[] inputs,
 Object[] outputs)

Overrides:

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

getInputArity

public int getInputArity()

Specified by:

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

getOutputArity

public int getOutputArity()

Specified by:

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

getInputTypesFor

public void getInputTypesFor(Set<Class<?>> classes,
 int index)

Specified by:

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

getOutputTypeFor

public Class<?> getOutputTypeFor(int index)

Specified by:

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

getVerdict

protected abstract void getVerdict(Object[][] inputs,
 Object[] outputs)