Package tech.oxfordsemantic.jrdfox.logic
Class Optional
java.lang.Object
tech.oxfordsemantic.jrdfox.logic.Formula
tech.oxfordsemantic.jrdfox.logic.Optional
- All Implemented Interfaces:
java.io.Serializable
public class Optional extends Formula
- See Also:
- Serialized Form
-
Field Summary
-
Method Summary
Modifier and Type Method Description <E> E
accept(LogicVisitor<E> visitor)
static Optional
create(Formula main, java.util.List<Formula> optionals)
static Optional
create(Formula main, Formula... optionals)
Formula
getMain()
int
getNumberOfOptionals()
Formula
getOptional(int index)
java.util.List<Formula>
getOptionals()
void
toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
-
Method Details
-
getMain
-
getOptionals
-
getNumberOfOptionals
public int getNumberOfOptionals() -
getOptional
-
accept
-
toString
public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat) -
create
-
create
-