Package tech.oxfordsemantic.jrdfox.logic
Class FilterAtom
java.lang.Object
tech.oxfordsemantic.jrdfox.logic.Formula
tech.oxfordsemantic.jrdfox.logic.BodyFormula
tech.oxfordsemantic.jrdfox.logic.FilterAtom
- All Implemented Interfaces:
java.io.Serializable
public class FilterAtom extends BodyFormula
- See Also:
- Serialized Form
-
Field Summary
-
Method Summary
Modifier and Type Method Description <E> E
accept(LogicVisitor<E> visitor)
static FilterAtom
create(BuiltinExpression builtinExpression)
BuiltinExpression
getBuiltinExpression()
FilterAtom
simplify()
void
toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
Methods inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula
getArgument, getArguments, getNumberOfArguments
-
Method Details
-
getBuiltinExpression
-
simplify
- Specified by:
simplify
in classBodyFormula
-
accept
- Specified by:
accept
in classBodyFormula
-
toString
public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)- Specified by:
toString
in classBodyFormula
-
create
-