Package net.sf.tweety.arg.adf.util

Class PlCollectors

java.lang.Object

net.sf.tweety.arg.adf.util.PlCollectors

public class PlCollectors
extends Object

A helper class providing some comfort functions dealing with stream collecting of PlFormula.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
PlCollectors()

Method Summary

Modifier and Type	Method	Description
static Collector<net.sf.tweety.logics.pl.syntax.PlFormula,?,net.sf.tweety.logics.pl.syntax.Conjunction>	toConjunction()
static Collector<Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction>	toConjunctionOfDisjunctions()
static Collector<net.sf.tweety.commons.util.Pair<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction>	toConjunctionOfDisjunctivePairs()
static Collector<net.sf.tweety.commons.util.Triple<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction>	toConjunctionOfDisjunctiveTriples()
static Collector<net.sf.tweety.logics.pl.syntax.PlFormula,?,net.sf.tweety.logics.pl.syntax.Disjunction>	toDisjunction()
static <T> Collector<T,?,net.sf.tweety.logics.pl.syntax.Disjunction>	toDisjunction(Function<T,? extends net.sf.tweety.logics.pl.syntax.PlFormula>[] functions)
static Collector<Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction>	toDisjunctionOfConjunctions()
static Collector<net.sf.tweety.commons.util.Pair<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction>	toDisjunctionOfConjunctivePairs()
static Collector<net.sf.tweety.commons.util.Triple<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction>	toDisjunctionOfConjunctiveTriples()

Methods inherited from class java.lang.Object

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

Constructor Detail

PlCollectors

public PlCollectors()

Method Detail

toConjunction

public static Collector<net.sf.tweety.logics.pl.syntax.PlFormula,?,net.sf.tweety.logics.pl.syntax.Conjunction> toConjunction()

toDisjunction

public static Collector<net.sf.tweety.logics.pl.syntax.PlFormula,?,net.sf.tweety.logics.pl.syntax.Disjunction> toDisjunction()

toDisjunctionOfConjunctivePairs

public static Collector<net.sf.tweety.commons.util.Pair<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction> toDisjunctionOfConjunctivePairs()

toDisjunctionOfConjunctiveTriples

public static Collector<net.sf.tweety.commons.util.Triple<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction> toDisjunctionOfConjunctiveTriples()

toDisjunctionOfConjunctions

public static Collector<Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Disjunction> toDisjunctionOfConjunctions()

toConjunctionOfDisjunctivePairs

public static Collector<net.sf.tweety.commons.util.Pair<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction> toConjunctionOfDisjunctivePairs()

toConjunctionOfDisjunctiveTriples

public static Collector<net.sf.tweety.commons.util.Triple<? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula,? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction> toConjunctionOfDisjunctiveTriples()

toConjunctionOfDisjunctions

public static Collector<Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula>,?,net.sf.tweety.logics.pl.syntax.Conjunction> toConjunctionOfDisjunctions()

toDisjunction

public static <T> Collector<T,?,net.sf.tweety.logics.pl.syntax.Disjunction> toDisjunction(Function<T,? extends net.sf.tweety.logics.pl.syntax.PlFormula>[] functions)