Uses of Class
net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework
-
-
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.parser
Methods in net.sf.tweety.arg.adf.parser that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
KppADFFormatParser. parseBeliefBase(java.io.Reader reader)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner
Fields in net.sf.tweety.arg.adf.reasoner declared as AbstractDialecticalFramework Modifier and Type Field Description private AbstractDialecticalFramework
Pipeline.PipelineIterator. adf
Methods in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Interpretation
AbstractDialecticalFrameworkReasoner. getModel(AbstractDialecticalFramework adf)
java.util.Collection<Interpretation>
AbstractDialecticalFrameworkReasoner. getModels(AbstractDialecticalFramework adf)
private S
Pipeline. initializeState(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>
Pipeline. iterator(AbstractDialecticalFramework adf)
java.util.Iterator<Interpretation>
AbstractDialecticalFrameworkReasoner. modelIterator(AbstractDialecticalFramework adf)
private Interpretation
Pipeline. process(java.util.Queue<InterpretationProcessor<S>> processors, java.util.Set<InterpretationProcessor<S>> isolated, S state, Interpretation interpretation, AbstractDialecticalFramework adf)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula)
java.lang.Boolean
AbstractDialecticalFrameworkReasoner. query(AbstractDialecticalFramework beliefbase, Argument formula, InferenceMode inferenceMode)
Queries the given AAF for the given argument using the given inference type.Constructors in net.sf.tweety.arg.adf.reasoner with parameters of type AbstractDialecticalFramework Constructor Description PipelineIterator(S state, AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.encodings
Fields in net.sf.tweety.arg.adf.reasoner.encodings declared as AbstractDialecticalFramework Modifier and Type Field Description private AbstractDialecticalFramework
SatEncodingContext. adf
Methods in net.sf.tweety.arg.adf.reasoner.encodings that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
SatEncodingContext. getAbstractDialecticalFramework()
Methods in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type AbstractDialecticalFramework Modifier and Type Method Description void
SatEncodingContext. setAdf(AbstractDialecticalFramework adf)
Constructors in net.sf.tweety.arg.adf.reasoner.encodings with parameters of type AbstractDialecticalFramework Constructor Description SatEncodingContext(AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.generator
Methods in net.sf.tweety.arg.adf.reasoner.generator with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Interpretation
CandidateGenerator. generate(S state, AbstractDialecticalFramework adf)
Does not return the same candidate on two calls on the same instance.Interpretation
SatConflictFreeGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation
SatGroundGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation
SatModelGenerator. generate(SatReasonerContext context, AbstractDialecticalFramework adf)
S
CandidateGenerator. initialize(AbstractDialecticalFramework adf)
SatReasonerContext
SatConflictFreeGenerator. initialize(AbstractDialecticalFramework adf)
SatReasonerContext
SatGroundGenerator. initialize(AbstractDialecticalFramework adf)
SatReasonerContext
SatModelGenerator. initialize(AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.processor
Methods in net.sf.tweety.arg.adf.reasoner.processor with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Interpretation
InterpretationProcessor. process(S state, Interpretation interpretation, AbstractDialecticalFramework adf)
Performs the processing of the given interpretation on a potential isolated state, meaning that the updates on this state are not seen by the subsequent processors.void
SatKBipolarStateProcessor. process(SatReasonerContext context, AbstractDialecticalFramework adf)
Interpretation
SatMaximizeInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
Interpretation
SatPartialKBipolarInterpretationProcessor. process(SatReasonerContext context, Interpretation interpretation, AbstractDialecticalFramework adf)
void
StateProcessor. process(S state, AbstractDialecticalFramework adf)
void
InterpretationProcessor. updateState(S state, Interpretation processed, AbstractDialecticalFramework adf)
void
SatMaximizeInterpretationProcessor. updateState(SatReasonerContext context, Interpretation maximal, AbstractDialecticalFramework adf)
void
SatPartialKBipolarInterpretationProcessor. updateState(SatReasonerContext context, Interpretation processed, AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.test
Methods in net.sf.tweety.arg.adf.reasoner.test with parameters of type AbstractDialecticalFramework Modifier and Type Method Description BenchmarkResult
ReasonerBenchmark. runBenchmark(AbstractDialecticalFramework adf, AbstractDialecticalFrameworkReasoner reasoner, java.util.Set<java.util.Map<java.lang.String,java.lang.Boolean>> assignments)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.reasoner.verifier
Methods in net.sf.tweety.arg.adf.reasoner.verifier with parameters of type AbstractDialecticalFramework Modifier and Type Method Description boolean
GrounderStableVerifier. verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
SatAdmissibleVerifier. verify(SatReasonerContext state, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
SatCompleteVerifier. verify(SatReasonerContext context, Interpretation candidate, AbstractDialecticalFramework adf)
boolean
Verifier. verify(S state, Interpretation candidate, AbstractDialecticalFramework adf)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.semantics
Methods in net.sf.tweety.arg.adf.semantics with parameters of type AbstractDialecticalFramework Modifier and Type Method Description Link
LinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
Link
SatLinkStrategy. compute(AbstractDialecticalFramework adf, Argument a, Argument b)
boolean
Interpretation. satisfies(AbstractDialecticalFramework beliefBase)
-
Uses of AbstractDialecticalFramework in net.sf.tweety.arg.adf.syntax
Methods in net.sf.tweety.arg.adf.syntax that return AbstractDialecticalFramework Modifier and Type Method Description AbstractDialecticalFramework
AbstractDialecticalFramework. omegaReduct(Interpretation interpretation)
Computes a reduct of this ADF relative to the given interpretation s.t.AbstractDialecticalFramework
AbstractDialecticalFramework. transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)
Creates a copy of this ADF with transformed acceptance conditions.Methods in net.sf.tweety.arg.adf.syntax with parameters of type AbstractDialecticalFramework Modifier and Type Method Description int
AbstractDialecticalFramework. compareTo(AbstractDialecticalFramework o)
-