Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Literal

Packages that use Literal

Package	Description
org.tweetyproject.arg.adf.syntax.pl
org.tweetyproject.arg.adf.transform.processor

Uses of Literal in org.tweetyproject.arg.adf.syntax.pl

Subinterfaces of Literal in org.tweetyproject.arg.adf.syntax.pl

Modifier and Type	Interface	Description
interface	Atom

Classes in org.tweetyproject.arg.adf.syntax.pl that implement Literal

Modifier and Type	Class	Description
class	Negation

Methods in org.tweetyproject.arg.adf.syntax.pl that return Literal

Modifier and Type	Method	Description
default Literal	Literal.map(java.util.function.Function<Argument,Literal> argumentMapping, java.util.function.Function<Literal,Literal> literalMapping)

Methods in org.tweetyproject.arg.adf.syntax.pl that return types with arguments of type Literal

Modifier and Type	Method	Description
java.util.stream.Stream<Literal>	Clause.stream()

Methods in org.tweetyproject.arg.adf.syntax.pl with parameters of type Literal

Modifier and Type	Method	Description
static Clause	Clause.of(java.util.Collection<? extends Literal> literals, Literal... additional)
static Clause	Clause.of(Clause clause, Literal... additional)
static Clause	Clause.of(Literal l)
static Clause	Clause.of(Literal l1, Literal l2)
static Clause	Clause.of(Literal l1, Literal l2, Literal l3)

Method parameters in org.tweetyproject.arg.adf.syntax.pl with type arguments of type Literal

Modifier and Type	Method	Description
static Clause	Clause.lazyMapping(Clause clause, java.util.function.Function<Literal,Literal> mapping)
static Clause	Clause.lazyMapping(Clause clause, java.util.function.Function<Literal,Literal> mapping)
default Literal	Literal.map(java.util.function.Function<Argument,Literal> argumentMapping, java.util.function.Function<Literal,Literal> literalMapping)
static Clause	Clause.of(java.util.Collection<? extends Literal> literals, Literal... additional)
static Clause	Clause.of(java.util.Set<Literal> literals)

Constructors in org.tweetyproject.arg.adf.syntax.pl with parameters of type Literal

Constructor	Description
Negation(Literal literal)

Uses of Literal in org.tweetyproject.arg.adf.transform.processor

Methods in org.tweetyproject.arg.adf.transform.processor that return types with arguments of type Literal

Modifier and Type	Method	Description
java.util.Collection<java.util.Set<Literal>>	ClauseSplittingProcessor.process(java.util.Set<Literal> clause)

Method parameters in org.tweetyproject.arg.adf.transform.processor with type arguments of type Literal

Modifier and Type	Method	Description
java.util.Collection<java.util.Set<Literal>>	ClauseSplittingProcessor.process(java.util.Set<Literal> clause)