Class Negation

java.lang.Object

tech.oxfordsemantic.jrdfox.util.InterningManager.InternedObject

tech.oxfordsemantic.jrdfox.logic.LogicObject

tech.oxfordsemantic.jrdfox.logic.datalog.BodyFormula

tech.oxfordsemantic.jrdfox.logic.datalog.Negation

All Implemented Interfaces:

Serializable

public class Negation
extends BodyFormula

See Also:

• Serialized Form

Field Summary

Fields inherited from class BodyFormula

EMPTY_ARRAY

Modifier and Type	Field	Description
static final BodyFormula[]	EMPTY_ARRAY

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static Negation	create(List<Variable> existentialVariables, List<Atom> negatedAtoms)
static Negation	create(Atom... negatedAtoms)
static Negation	create(Variable[] existentialVariable, Atom[] negatedAtoms)
List<Variable>	getExistentialVariables()
List<Atom>	getNegatedAtoms()
void	toString(Prefixes prefixes, Consumer<String> consumer)

Methods inherited from class BodyFormula

getArguments

Modifier and Type	Method	Description
List<Term>	getArguments()

Methods inherited from class LogicObject

toString, toString, toString

Modifier and Type	Method	Description
String	toString()
String	toString(Prefixes prefixes)
void	toString(Prefixes prefixes, StringBuilder stringBuilder)

Methods inherited from class Object

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

Method Details

getExistentialVariables

public List<Variable> getExistentialVariables()

getNegatedAtoms

public List<Atom> getNegatedAtoms()

accept

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

Specified by:

accept in class LogicObject

toString

public void toString(Prefixes prefixes,
 Consumer<String> consumer)

Specified by:

toString in class LogicObject

create

public static Negation create(List<Variable> existentialVariables,
 List<Atom> negatedAtoms)

create

public static Negation create(Variable[] existentialVariable,
 Atom[] negatedAtoms)

create

public static Negation create(Atom... negatedAtoms)