Package ca.uqac.lif.cep.fol

Class Exists

java.lang.Object

ca.uqac.lif.cep.functions.Function

ca.uqac.lif.cep.fol.FirstOrderQuantifier

ca.uqac.lif.cep.fol.Exists

All Implemented Interfaces:

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

public class Exists
extends FirstOrderQuantifier

Function that acts as a first-order existential 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
Exists(String x, ca.uqac.lif.cep.functions.Function f)
Exists(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(Object[][] inputs, 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, printState, readState, reset

Methods inherited from class java.lang.Object

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

Constructor Details

Exists

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

Exists

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

Method Details

getVerdict

protected void getVerdict(Object[][] inputs,
 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