Package tech.oxfordsemantic.jrdfox.logic

Class Disjunction

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.Disjunction

All Implemented Interfaces:

java.io.Serializable

public class Disjunction
extends Formula

See Also:

Serialized Form

Field Summary

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula

NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
<E> E	accept(LogicVisitor<E> visitor)
static Disjunction	create(java.util.List<Formula> disjuncts)
static Disjunction	create(Formula... disjuncts)
Formula	getDisjunct(int index)
java.util.List<Formula>	getDisjuncts()
int	getNumberOfDisjuncts()
void	toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)

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

toString, toString, toString

Methods inherited from class java.lang.Object

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

Method Details

getDisjuncts

public java.util.List<Formula> getDisjuncts()

getNumberOfDisjuncts

public int getNumberOfDisjuncts()

getDisjunct

public Formula getDisjunct(int index)

accept

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

Specified by:

accept in class Formula

toString

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

Specified by:

toString in class Formula

create

public static Disjunction create(java.util.List<Formula> disjuncts)

create

public static Disjunction create(Formula... disjuncts)