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

Class PlCollectors

java.lang.Object

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

public class PlCollectors
extends java.lang.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 java.util.stream.Collector<PlFormula,?,Conjunction>	toConjunction()
static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Conjunction>	toConjunctionOfDisjunctions()
static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Conjunction>	toConjunctionOfDisjunctivePairs()
static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Conjunction>	toConjunctionOfDisjunctiveTriples()
static java.util.stream.Collector<PlFormula,?,Disjunction>	toDisjunction()
static <T> java.util.stream.Collector<T,?,Disjunction>	toDisjunction(java.util.function.Function<T,? extends PlFormula>[] functions)
static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Disjunction>	toDisjunctionOfConjunctions()
static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Disjunction>	toDisjunctionOfConjunctivePairs()
static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Disjunction>	toDisjunctionOfConjunctiveTriples()

Methods inherited from class java.lang.Object

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

Constructor Detail

PlCollectors

public PlCollectors()

Method Detail

toConjunction

public static java.util.stream.Collector<PlFormula,?,Conjunction> toConjunction()

toDisjunction

public static java.util.stream.Collector<PlFormula,?,Disjunction> toDisjunction()

toDisjunctionOfConjunctivePairs

public static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Disjunction> toDisjunctionOfConjunctivePairs()

toDisjunctionOfConjunctiveTriples

public static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Disjunction> toDisjunctionOfConjunctiveTriples()

toDisjunctionOfConjunctions

public static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Disjunction> toDisjunctionOfConjunctions()

toConjunctionOfDisjunctivePairs

public static java.util.stream.Collector<Pair<? extends PlFormula,? extends PlFormula>,?,Conjunction> toConjunctionOfDisjunctivePairs()

toConjunctionOfDisjunctiveTriples

public static java.util.stream.Collector<Triple<? extends PlFormula,? extends PlFormula,? extends PlFormula>,?,Conjunction> toConjunctionOfDisjunctiveTriples()

toConjunctionOfDisjunctions

public static java.util.stream.Collector<java.util.Collection<? extends PlFormula>,?,Conjunction> toConjunctionOfDisjunctions()

toDisjunction

public static <T> java.util.stream.Collector<T,?,Disjunction> toDisjunction(java.util.function.Function<T,? extends PlFormula>[] functions)