io.konig.formula

Class LiteralFormula

java.lang.Object

io.konig.formula.AbstractFormula

io.konig.formula.LiteralFormula

All Implemented Interfaces:

Formula, PrimaryExpression

public class LiteralFormula
extends AbstractFormula
implements PrimaryExpression

Constructor Summary

Constructors

Constructor and Description
LiteralFormula(org.openrdf.model.Literal literal)

Method Summary

Modifier and Type	Method and Description
LiteralFormula	clone()
void	dispatch(FormulaVisitor visitor)
org.openrdf.model.Literal	getLiteral()
void	print(PrettyPrintWriter out)

Methods inherited from class io.konig.formula.AbstractFormula

asBinaryRelationalExpression, asPrimaryExpression, toSimpleString, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface io.konig.formula.Formula

asBinaryRelationalExpression, asPrimaryExpression

Constructor Detail

LiteralFormula

public LiteralFormula(org.openrdf.model.Literal literal)

Method Detail

getLiteral

public org.openrdf.model.Literal getLiteral()

clone

public LiteralFormula clone()

Specified by:

clone in interface PrimaryExpression

Specified by:

clone in class AbstractFormula

print

public void print(PrettyPrintWriter out)

Specified by:

print in interface Formula

dispatch

public void dispatch(FormulaVisitor visitor)

Specified by:

dispatch in interface Formula