Package ca.uqac.lif.cep.fol

Class QuantifierInterpretation

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.QuantifierInterpretation

All Implemented Interfaces:

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

Direct Known Subclasses:

ExistsInterpretation, ForAllInterpretation

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

Field Summary

Fields

Modifier and Type	Field	Description
protected String	m_domainName
protected ca.uqac.lif.cep.functions.Function	m_expression
protected boolean	m_failFast
protected boolean	m_stopValue
protected String	m_variableName

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

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
QuantifierInterpretation(String variable_name, String domain_name, ca.uqac.lif.cep.functions.Function expression, boolean stop_value)

Method Summary

Modifier and Type	Method	Description
void	evaluate(Object[] inputs, Object[] outputs)
void	evaluate(Object[] inputs, Object[] out, ca.uqac.lif.cep.Context context)
int	getInputArity()
void	getInputTypesFor(Set<Class<?>> classes, int index)
int	getOutputArity()
Class<?>	getOutputTypeFor(int index)
void	reset()
void	setFailFast(boolean b)	Sets whether the quantifier evaluates the functions in "fail fast" mode

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

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

Methods inherited from class java.lang.Object

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

Field Details

m_variableName

protected String m_variableName

m_domainName

protected String m_domainName

m_expression

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

m_stopValue

protected boolean m_stopValue

m_failFast

protected boolean m_failFast

Constructor Details

QuantifierInterpretation

public QuantifierInterpretation(String variable_name,
 String domain_name,
 ca.uqac.lif.cep.functions.Function expression,
 boolean stop_value)

Method Details

evaluate

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

Specified by:

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

setFailFast

public void setFailFast(boolean b)

Sets whether the quantifier evaluates the functions in "fail fast" mode

Parameters:

b - Set to true to use fail fast

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

reset

public void reset()

Overrides:

reset 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