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

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

Modifier and Type	Method	Description
static Literal	Literal.create()
static Literal	Literal.create(String name)
static Literal	Literal.createTransient()
Literal	Literal.getAtom()
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()

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)
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2)
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)
static Clause	Clause.of(Clause c, Literal l)
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.of(Collection<? extends Literal> literals)
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l)
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2)
static Clause	Clause.of(Collection<? extends Literal> literals, Literal l1, Literal l2, Literal l3)

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

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)
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)

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