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)
-