Package ca.uqac.lif.cep.fol

Class PredicateAssertion

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.PredicateAssertion

All Implemented Interfaces:

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

public class PredicateAssertion
extends ca.uqac.lif.cep.functions.Function

An assertion on the value of a predicate, to be evaluated on an Interpretation.

While a PredicateTuple is an object that defines the value of a predicate for a given set of arguments, a PredicateAssertion queries an interpretation to fetch the corresponding truth value for the arguments.

Field Summary

Fields

Modifier and Type	Field	Description
protected ca.uqac.lif.cep.functions.Function[]	m_arguments	The arguments of this predicate
protected String	m_predicateName	The name of the predicate to evaluate

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

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
PredicateAssertion(String predicate_name, ca.uqac.lif.cep.functions.Function... arguments)	Creates a new predicate assertion

Method Summary

Modifier and Type	Method	Description
ca.uqac.lif.cep.functions.Function	duplicate(boolean with_state)
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)
void	reset()
String	toString()

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

duplicate, evaluate, evaluateLazy, evaluatePartial, printState, readState

Methods inherited from class java.lang.Object

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

Field Details

m_predicateName

protected String m_predicateName

The name of the predicate to evaluate

m_arguments

protected ca.uqac.lif.cep.functions.Function[] m_arguments

The arguments of this predicate

Constructor Details

PredicateAssertion

public PredicateAssertion(String predicate_name,
 ca.uqac.lif.cep.functions.Function... arguments)

Creates a new predicate assertion

Parameters:

predicate_name - The name of the predicate to evaluate

arguments - The arguments of this predicate

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

reset

public void reset()

Overrides:

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

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

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

toString

public String toString()

Overrides:

toString in class Object