Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Literal
Package
Description
-
Uses of Literal in org.tweetyproject.arg.adf.reasoner.sat.encodings
Modifier and TypeMethodDescription -
Uses of Literal in org.tweetyproject.arg.adf.sat
Modifier and TypeMethodDescriptionSatSolverState.witness()
Returns a witness of the satisfiability of all the clauses in the state, ornull
if the state is unsatisfiable.SatSolverState.witness
(Collection<? extends Literal> filter) Modifier and TypeMethodDescriptionvoid
Assumes the truth value of the given proposition for the next call toSatSolverState.satisfiable()
. -
Uses of Literal in org.tweetyproject.arg.adf.sat.state
Modifier and TypeMethodDescriptionAsynchronousCloseSatSolverState.witness()
AsynchronousCloseSatSolverState.witness
(Collection<? extends Literal> filter) SynchronizedSatSolverState.witness()
SynchronizedSatSolverState.witness
(Collection<? extends Literal> filter) Modifier and TypeMethodDescriptionvoid
void
Modifier and TypeMethodDescriptionAsynchronousCloseSatSolverState.witness
(Collection<? extends Literal> filter) SynchronizedSatSolverState.witness
(Collection<? extends Literal> filter) -
Uses of Literal in org.tweetyproject.arg.adf.semantics.interpretation
Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescriptionstatic Literal
Literal.create()
static Literal
static Literal
Literal.createTransient()
Literal.getAtom()
Literal.neg()
Returns the negation of this literal.Modifier and TypeMethodDescriptionstatic Clause
Clause.of
(Collection<? extends Literal> literals, Literal l) static Clause
Clause.of
(Collection<? extends Literal> literals, Literal l1, Literal l2) static Clause
static Clause
static Clause
static Clause
static Clause
-
Uses of Literal in org.tweetyproject.arg.adf.transform
Modifier and TypeMethodDescriptionTseitinTransformer.collect
(AcceptanceCondition acc, Consumer<Clause> clauses) Modifier and TypeMethodDescriptionstatic 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
Modifier and TypeMethodDescription