Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Clause
Package
Description
-
Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.encodings
Modifier and TypeMethodDescriptionvoid
void
void
ConflictFreeInterpretationSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
FixPartialSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
void
LargerInterpretationSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
RefineLargerSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
RefineUnequalSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
void
RelativeSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void
void
void
TwoValuedModelSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
-
Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.execution
Modifier and TypeMethodDescriptionboolean
boolean
boolean
Modifier and TypeMethodDescriptionboolean
Execution.addClauses(Collection<? extends Clause> clauses)
boolean
ParallelExecution.addClauses(Collection<? extends Clause> clauses)
boolean
SequentialExecution.addClauses(Collection<? extends Clause> clauses)
-
Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.generator
-
Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.processor
-
Uses of Clause in org.tweetyproject.arg.adf.sat
-
Uses of Clause in org.tweetyproject.arg.adf.sat.state
-
Uses of Clause in org.tweetyproject.arg.adf.syntax.pl
Modifier and TypeMethodDescriptionstatic Clause
Clause.of()
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
static Clause
static Clause
static Clause
static Clause
-
Uses of Clause in org.tweetyproject.arg.adf.transform
Modifier and TypeMethodDescriptionTseitinTransformer.collect(AcceptanceCondition acc, Consumer<Clause> clauses)