Package org.tweetyproject.arg.adf.syntax.pl

Interface Clause

All Superinterfaces:

java.lang.Iterable<Literal>

public interface Clause
extends java.lang.Iterable<Literal>

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
static Clause	lazyMapping(Clause clause, java.util.function.Function<Literal,Literal> mapping)
static Clause	of()
static Clause	of(java.util.Collection<? extends Literal> literals, Literal... additional)
static Clause	of(java.util.Set<Literal> literals)
static Clause	of(Clause clause, Literal... additional)
static Clause	of(Literal l)
static Clause	of(Literal l1, Literal l2)
static Clause	of(Literal l1, Literal l2, Literal l3)
int	size()
java.util.stream.Stream<Literal>	stream()

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Method Detail

of

static Clause of(java.util.Set<Literal> literals)

of

static Clause of(java.util.Collection<? extends Literal> literals,
                 Literal... additional)

of

static Clause of(Clause clause,
                 Literal... additional)

of

static Clause of()

of

static Clause of(Literal l)

of

static Clause of(Literal l1,
                 Literal l2)

of

static Clause of(Literal l1,
                 Literal l2,
                 Literal l3)

lazyMapping

static Clause lazyMapping(Clause clause,
                          java.util.function.Function<Literal,Literal> mapping)

stream

java.util.stream.Stream<Literal> stream()

size

int size()