Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Atom

Packages that use Atom

Package	Description
org.tweetyproject.arg.adf.reasoner.sat.encodings
org.tweetyproject.arg.adf.sat
org.tweetyproject.arg.adf.semantics.interpretation
org.tweetyproject.arg.adf.syntax.pl
org.tweetyproject.arg.adf.transform

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

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return Atom

Modifier and Type	Method	Description
Atom	PropositionalMapping.getFalse(Argument argument)
Atom	PropositionalMapping.getLink(Link link)
Atom	PropositionalMapping.getLink(Argument from, Argument to)
Atom	PropositionalMapping.getTrue(Argument argument)

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings that return types with arguments of type Atom

Modifier and Type	Method	Description
java.util.Collection<Atom>	PropositionalMapping.getArguments()
java.util.Collection<Atom>	PropositionalMapping.getLinks()

Methods in org.tweetyproject.arg.adf.reasoner.sat.encodings with parameters of type Atom

Modifier and Type	Method	Description
void	VerifyAdmissibleSatEncoding.encode(java.util.function.Consumer<Clause> consumer, PropositionalMapping context, AbstractDialecticalFramework adf, Atom toggle)

Uses of Atom in org.tweetyproject.arg.adf.sat

Methods in org.tweetyproject.arg.adf.sat that return types with arguments of type Atom

Modifier and Type	Method	Description
java.util.Set<Atom>	AsynchronousCloseSatSolverState.witness()
java.util.Set<Atom>	AsynchronousCloseSatSolverState.witness(java.util.Collection<Atom> filter)
java.util.Set<Atom>	AsynchronousSatSolverState.witness()
java.util.Set<Atom>	AsynchronousSatSolverState.witness(java.util.Collection<Atom> filter)
java.util.Set<Atom>	SatSolverState.witness()	Returns a witness of the satisfiability of all the clauses in the state, or null if the state is unsatisfiable.
java.util.Set<Atom>	SatSolverState.witness(java.util.Collection<Atom> filter)

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

Modifier and Type	Method	Description
void	AsynchronousCloseSatSolverState.assume(Atom proposition, boolean value)
void	AsynchronousSatSolverState.assume(Atom proposition, boolean value)
void	SatSolverState.assume(Atom atom, boolean value)	Assumes the truth value of the given proposition for the next call to SatSolverState.satisfiable().

Method parameters in org.tweetyproject.arg.adf.sat with type arguments of type Atom

Modifier and Type	Method	Description
java.util.Set<Atom>	AsynchronousCloseSatSolverState.witness(java.util.Collection<Atom> filter)
java.util.Set<Atom>	AsynchronousSatSolverState.witness(java.util.Collection<Atom> filter)
java.util.Set<Atom>	SatSolverState.witness(java.util.Collection<Atom> filter)

Uses of Atom in org.tweetyproject.arg.adf.semantics.interpretation

Method parameters in org.tweetyproject.arg.adf.semantics.interpretation with type arguments of type Atom

Modifier and Type	Method	Description
static Interpretation	Interpretation.fromWitness(java.util.Set<Atom> witness, PropositionalMapping encodingContext, AbstractDialecticalFramework adf)	Constructs a three-valued ADF interpretation from a witness of a propositional sat encoding.

Uses of Atom in org.tweetyproject.arg.adf.syntax.pl

Methods in org.tweetyproject.arg.adf.syntax.pl that return Atom

Modifier and Type	Method	Description
default Atom	Atom.getAtom()
Atom	Literal.getAtom()
Atom	Negation.getAtom()
static Atom	Atom.of(java.lang.String name)

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

Method parameters in org.tweetyproject.arg.adf.transform with type arguments of type Atom

Modifier and Type	Method	Description
static TseitinTransformer	TseitinTransformer.ofNegativePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)
static TseitinTransformer	TseitinTransformer.ofPositivePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)