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.reasoner.sat.processor
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.sat.state
org.tweetyproject.arg.adf.syntax.pl
org.tweetyproject.arg.adf.transform

Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.encodings

Method parameters in org.tweetyproject.arg.adf.reasoner.sat.encodings with type arguments of type Clause

Modifier and Type	Method	Description
void	BipolarSatEncoding.encode(Consumer<Clause> consumer)
void	ConflictFreeInterpretationSatEncoding.encode(Consumer<Clause> consumer)
void	ConflictFreeInterpretationSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	FixPartialSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	KBipolarSatEncoding.encode(Consumer<Clause> consumer)
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	RelativeSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)
void	RestrictedBipolarSatEncoding.encode(Consumer<Clause> consumer)
void	RestrictedKBipolarSatEncoding.encode(Consumer<Clause> consumer)
void	SatEncoding.encode(Consumer<Clause> consumer)
void	TwoValuedModelSatEncoding.encode(Consumer<Clause> consumer)
void	TwoValuedModelSatEncoding.encode(Consumer<Clause> consumer, Interpretation interpretation)

Uses of Clause in org.tweetyproject.arg.adf.reasoner.sat.processor

Method parameters in org.tweetyproject.arg.adf.reasoner.sat.processor with type arguments of type Clause

Modifier and Type	Method	Description
void	KBipolarStateProcessor.process(Consumer<Clause> consumer)
void	RestrictedKBipolarStateProcessor.process(Consumer<Clause> consumer)
void	StateProcessor.process(Consumer<Clause> consumer)

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	SatSolverState.add(Clause clause)	Adds the given clause to the solver state.

Uses of Clause in org.tweetyproject.arg.adf.sat.state

Methods in org.tweetyproject.arg.adf.sat.state with parameters of type Clause

Modifier and Type	Method	Description
boolean	AsynchronousCloseSatSolverState.add(Clause clause)
boolean	SynchronizedSatSolverState.add(Clause clause)

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

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

Modifier and Type	Method	Description
static Clause	Clause.of(Clause c, Literal l)

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

Methods in org.tweetyproject.arg.adf.transform that return types with arguments of type Clause

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 Clause

Modifier and Type	Method	Description
Literal	TseitinTransformer.collect(AcceptanceCondition acc, Consumer<Clause> clauses)