Package ca.uqac.lif.cep.fol

Class Predicate

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.Predicate

All Implemented Interfaces:

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

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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Predicate.PredicateArgument
static class	Predicate.Wildcard	Special constant that can be used when evaluating a predicate to indicate a "don't care" value

Field Summary

Fields

Modifier and Type	Field	Description
protected String[]	m_domainNames	The predicate's domain name for each of its arguments
protected String	m_name	The predicate's name

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

s_maxInputArity

Constructor Summary

Constructors

Constructor	Description
Predicate(Predicate pred)	Creates a new predicate by copying its contents from another predicate
Predicate(String name, String... domain_names)	Creates a new predicate

Method Summary

Modifier and Type	Method	Description
void	addDefinition(Predicate.PredicateArgument arguments, boolean value)	Adds a new tuple to the definition of this predicate
void	clear()
Predicate	duplicate(boolean with_state)
void	evaluate(Object[] inputs, Object[] outputs, ca.uqac.lif.cep.Context context)
String[]	getDomainNames()
int	getInputArity()
void	getInputTypesFor(Set<Class<?>> classes, int index)
int	getOutputArity()
Class<?>	getOutputTypeFor(int index)
void	reset()
String	toString()
void	updateDefinition(PredicateTuple tuple)
void	updateDefinition(Object[] inputs, boolean value)

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

duplicate, evaluate, 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_name

protected String m_name

The predicate's name

m_domainNames

protected String[] m_domainNames

The predicate's domain name for each of its arguments

Constructor Details

Predicate

public Predicate(String name,
 String... domain_names)

Creates a new predicate

Parameters:

name - The name of the predicate

domain_names - The name of the domains for each of its arguments

Predicate

public Predicate(Predicate pred)

Creates a new predicate by copying its contents from another predicate

Parameters:

pred - The predicate to copy from

Method Details

addDefinition

public void addDefinition(Predicate.PredicateArgument arguments,
 boolean value)

Adds a new tuple to the definition of this predicate

Parameters:

arguments - The arguments

value - The value associated to these arguments

updateDefinition

public void updateDefinition(Object[] inputs,
 boolean value)

updateDefinition

public void updateDefinition(PredicateTuple tuple)

getDomainNames

public String[] getDomainNames()

clear

public void clear()

toString

public String toString()

Overrides:

toString in class Object

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

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 Predicate 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