Package tech.oxfordsemantic.jrdfox.logic.datalog

Class TupleTableAtom

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.Atom

tech.oxfordsemantic.jrdfox.logic.datalog.TupleTableAtom

All Implemented Interfaces:

java.io.Serializable

public class TupleTableAtom
extends Atom

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static TupleTableAtom[]	EMPTY_ARRAY

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static TupleTableAtom	create(TupleTableName tupleTableName, java.util.List<Term> arguments)
static TupleTableAtom	create(TupleTableName tupleTableName, Term... arguments)
java.util.List<Term>	getArguments()
TupleTableName	getTupleTableName()
static TupleTableAtom	rdf(Term subject, Term predicate, Term object)
void	toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer)

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

toString, toString, toString

Methods inherited from class java.lang.Object

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

Field Details

EMPTY_ARRAY

public static final TupleTableAtom[] EMPTY_ARRAY

Method Details

getTupleTableName

public TupleTableName getTupleTableName()

getArguments

public java.util.List<Term> getArguments()

Overrides:

getArguments in class BodyFormula

accept

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

Specified by:

accept in class LogicObject

toString

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

Specified by:

toString in class LogicObject

create

public static TupleTableAtom create(TupleTableName tupleTableName, java.util.List<Term> arguments)

create

public static TupleTableAtom create(TupleTableName tupleTableName, Term... arguments)

rdf

public static TupleTableAtom rdf(Term subject, Term predicate, Term object)