Uses of Interface
org.tweetyproject.arg.adf.syntax.pl.Atom
-
-
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, ornull
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 toSatSolverState.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
-
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)
-