Package tech.oxfordsemantic.jrdfox.logic

Class ExistenceExpression

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.BuiltinExpression

tech.oxfordsemantic.jrdfox.logic.ExistenceExpression

All Implemented Interfaces:

java.io.Serializable

public class ExistenceExpression
extends BuiltinExpression

See Also:

Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.BuiltinExpression

NO_BUILTIN_EXPRESSIONS

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static ExistenceExpression	create(boolean positive, Formula formula)
Formula	getFormula()
boolean	isPositive()
void	toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.BuiltinExpression

toString, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

isPositive

public boolean isPositive()

getFormula

public Formula getFormula()

accept

public <E> E accept(LogicVisitor<E> visitor)

Specified by:

accept in class BuiltinExpression

toString

public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)

Specified by:

toString in class BuiltinExpression

create

public static ExistenceExpression create(boolean positive, Formula formula)