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

Packages that use Literal

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.state
org.tweetyproject.arg.adf.semantics.interpretation
org.tweetyproject.arg.adf.syntax.pl
org.tweetyproject.arg.adf.transform
org.tweetyproject.arg.adf.transform.processor

Uses of Literal in org.tweetyproject.arg.adf.reasoner.sat.encodings

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return Literal

Modifier and Type	Method	Description
Literal	PropositionalMapping.getFalse(Argument argument)
Literal	PropositionalMapping.getLink(Link link)
Literal	PropositionalMapping.getLink(Argument from, Argument to)
Literal	PropositionalMapping.getTrue(Argument argument)

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return types with arguments of type Literal

Modifier and Type	Method	Description
Collection<Literal>	PropositionalMapping.getArgumentLiterals()

Uses of Literal in org.tweetyproject.arg.adf.sat

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

Modifier and Type	Method	Description
Set<Literal>	SatSolverState.witness()	Returns a witness of the satisfiability of all the clauses in the state, or null if the state is unsatisfiable.
Set<Literal>	SatSolverState.witness(Collection<? extends Literal> filter)

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

Modifier and Type	Method	Description
void	SatSolverState.assume(Literal literal)	Assumes the truth value of the given proposition for the next call to SatSolverState.satisfiable().

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

Modifier and Type	Method	Description
Set<Literal>	SatSolverState.witness(Collection<? extends Literal> filter)

Uses of Literal in org.tweetyproject.arg.adf.sat.state

Methods in org.tweetyproject.arg.adf.sat.state that return types with arguments of type Literal

Modifier and Type	Method	Description
Set<Literal>	AsynchronousCloseSatSolverState.witness()
Set<Literal>	AsynchronousCloseSatSolverState.witness(Collection<? extends Literal> filter)
Set<Literal>	SynchronizedSatSolverState.witness()
Set<Literal>	SynchronizedSatSolverState.witness(Collection<? extends Literal> filter)

Methods in org.tweetyproject.arg.adf.sat.state with parameters of type Literal

Modifier and Type	Method	Description
void	AsynchronousCloseSatSolverState.assume(Literal literal)
void	SynchronizedSatSolverState.assume(Literal literal)

Method parameters in org.tweetyproject.arg.adf.sat.state with type arguments of type Literal

Modifier and Type	Method	Description
Set<Literal>	AsynchronousCloseSatSolverState.witness(Collection<? extends Literal> filter)
Set<Literal>	SynchronizedSatSolverState.witness(Collection<? extends Literal> filter)

Uses of Literal in org.tweetyproject.arg.adf.semantics.interpretation

Method parameters in org.tweetyproject.arg.adf.semantics.interpretation with type arguments of type Literal

Modifier and Type	Method	Description
static Interpretation	Interpretation.fromWitness(Set<Literal> witness, PropositionalMapping mapping)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.

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

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

Modifier and Type	Interface	Description
interface	Clause	The Clause interface represents a logical clause, which is a disjunction (OR) of literals in propositional logic.

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

Modifier and Type	Method	Description
static Literal	Literal.create()	Creates a new unnamed atom literal.
static Literal	Literal.create(String name)	Creates a new named atom literal with the specified name.
static Literal	Literal.createTransient()	Creates a new transient atom literal.
Literal	Literal.getAtom()	Retrieves the atom of this literal.
Literal	Literal.neg()	Returns the negation of this literal.

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

Modifier and Type	Method	Description
Stream<Literal>	Clause.stream()	Returns a stream of literals contained in this clause.

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

Modifier and Type	Method	Description
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l)	Creates a clause from a collection of literals and an additional literal.
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2)	Creates a clause from a collection of literals and two additional literals.
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)	Creates a clause from a collection of literals and three additional literals.
static Clause	Clause.of(Clause c, Literal l)	Creates a clause by extending an existing clause with an additional literal.
static Clause	Clause.of(Literal l)	Creates a clause with a single literal.
static Clause	Clause.of(Literal l1, Literal l2)	Creates a clause with two literals.
static Clause	Clause.of(Literal l1, Literal l2, Literal l3)	Creates a clause with three literals.

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

Modifier and Type	Method	Description
static Clause	Clause.of(Collection<? extends Literal> literals)	Creates a clause from a collection of literals.
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l)	Creates a clause from a collection of literals and an additional literal.
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2)	Creates a clause from a collection of literals and two additional literals.
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)	Creates a clause from a collection of literals and three additional literals.

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

Classes in org.tweetyproject.arg.adf.transform that implement interfaces with type arguments of type Literal

Modifier and Type	Class	Description
final class	TseitinTransformer	TseitinTransformer class
final class	TseitinTransformer	TseitinTransformer class

Methods in org.tweetyproject.arg.adf.transform that return Literal

Modifier and Type	Method	Description
Literal	TseitinTransformer.collect(AcceptanceCondition acc, Consumer<Clause> clauses)

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

Modifier and Type	Method	Description
Pair<Literal,Collection<Clause>>	TseitinTransformer.transform(AcceptanceCondition acc)

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

Modifier and Type	Method	Description
static TseitinTransformer	TseitinTransformer.ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with negative root polarity and a custom argument-to-literal mapping.
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and a custom argument-to-literal mapping.

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

Classes in org.tweetyproject.arg.adf.transform.processor that implement interfaces with type arguments of type Literal

Modifier and Type	Class	Description
final class	ClauseSplittingProcessor	ClauseSplittingProcessor class
final class	ClauseSplittingProcessor	ClauseSplittingProcessor class

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

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

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

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