Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Clause
-
Packages that use Clause Package Description org.tweetyproject.arg.adf.reasoner.sat.encodings org.tweetyproject.arg.adf.sat org.tweetyproject.arg.adf.syntax.pl -
-
Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.encodings
Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return types with arguments of type Clause Modifier and Type Method Description default java.util.Collection<Clause>
SatEncoding. encode(PropositionalMapping mapping, AbstractDialecticalFramework adf)
Method parameters in org.tweetyproject.arg.adf.reasoner.sat.encodings with type arguments of type Clause Modifier and Type Method Description void
BipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
ConflictFreeInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
FixPartialSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
KBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
LargerInterpretationSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineLargerSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RefineUnequalSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
RelativeBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
RelativeKBipolarSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
Deprecated.default void
SatEncoding. encode(java.util.Collection<Clause> collection, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
SatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
TwoValuedModelSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping mapping, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf)
void
VerifyAdmissibleSatEncoding. encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf, Atom toggle)
-
Uses of Clause in org.tweetyproject.arg.adf.sat
Methods in org.tweetyproject.arg.adf.sat with parameters of type Clause Modifier and Type Method Description boolean
AsynchronousCloseSatSolverState. add(Clause clause)
boolean
AsynchronousSatSolverState. add(Clause clause)
boolean
SatSolverState. add(Clause clause)
Adds the given clause to the solver state. -
Uses of Clause in org.tweetyproject.arg.adf.syntax.pl
Methods in org.tweetyproject.arg.adf.syntax.pl that return Clause Modifier and Type Method Description static Clause
Clause. lazyMapping(Clause clause, java.util.function.Function<Literal,Literal> mapping)
static Clause
Clause. of()
static Clause
Clause. of(java.util.Collection<? extends Literal> literals, Literal... additional)
static Clause
Clause. of(java.util.Set<Literal> literals)
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)
-