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)

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

Modifier and Type	Method	Description
static Clause	Clause.lazyMapping(Clause clause, java.util.function.Function<Literal,Literal> mapping)
static Clause	Clause.of(Clause clause, Literal... additional)