Package tech.oxfordsemantic.jrdfox.logic

Class Conjunction

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.Conjunction

All Implemented Interfaces:

java.io.Serializable

public class Conjunction
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 Conjunction	create(java.util.List<Formula> arguments)
static Conjunction	create(Formula... arguments)
Formula	getConjunct(int index)
java.util.List<Formula>	getConjuncts()
int	getNumberOfConjuncts()
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

getConjuncts

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

getNumberOfConjuncts

public int getNumberOfConjuncts()

getConjunct

public Formula getConjunct(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 Conjunction create(java.util.List<Formula> arguments)

create

public static Conjunction create(Formula... arguments)