A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ 
All Classes All Packages

H

handle - Variable in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver.LingelingSolverState
 
handleException(Throwable) - Method in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
 
handleGetMeasures(JSONObject) - Method in class net.sf.tweety.web.services.InconsistencyMeasurementService
Handles the "List inconsistency measures" command
handleGetValue(JSONObject) - Method in class net.sf.tweety.web.services.InconsistencyMeasurementService
Handles the "Get inconsistency value" command
handleQuery(JSONObject) - Method in class net.sf.tweety.web.services.DelpService
Handles the "query" command
handleRequest(String) - Method in class net.sf.tweety.web.services.DelpService
Handles all requests for the delp service.
handleRequest(String) - Method in class net.sf.tweety.web.services.InconsistencyMeasurementService
Handles all requests for the inconsistency measurement service.
handleRequest(String) - Method in class net.sf.tweety.web.services.PingService
Handles all requests for theping service.
hasAttackBranch(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
If this graph is acyclic, this method checks if the given argument has an attack branch, i.e.
hasDefaultEnumerator() - Static method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
Returns "true" if a default MUS enumerator is configured.
hasDefaultGeneralSolver() - Static method in class net.sf.tweety.math.opt.Solver
Returns "true" if a default solver for general optimization problems is configured.
hasDefaultIntegerLinearSolver() - Static method in class net.sf.tweety.math.opt.Solver
Returns "true" if a default solver for integer linear optimization problems is configured.
hasDefaultLinearSolver() - Static method in class net.sf.tweety.math.opt.Solver
Returns "true" if a default solver for linear optimization problems is configured.
hasDefaultSolver() - Static method in class net.sf.tweety.logics.pl.sat.SatSolver
Returns "true" if a default SAT solver is configured.
hasDefeasibleSub() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
Checks whether this has a defeasible subrule, premises do not count as subrules
hasDefenseBranch(Argument) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
If this graph is acyclic, this method checks if the given argument has a defense branch, i.e.
hasDuplicate(Set<Triple<Proposition, Integer, SpecialFormula>>) - Method in class net.sf.tweety.logics.pl.analysis.FbInconsistencyMeasure
Checks whether the selection of substitutions is consistent (no proposition to be replaced by + and - at the same time).
hasEmptyIntersection(Set<Set<E>>) - Method in class net.sf.tweety.commons.util.SetTools
Checks whether the given set of sets has an empty intersection
hasEvidentialSupport(Argument, Collection<Argument>) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgSystem
returns true if argument has reasoner.evidential support from set ext.
hashCode() - Method in class net.sf.tweety.action.grounding.VarConstNeqRequirement
 
hashCode() - Method in class net.sf.tweety.action.grounding.VarsNeqRequirement
 
hashCode() - Method in class net.sf.tweety.action.transitionsystem.State
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.T3Configuration
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
 
hashCode() - Method in class net.sf.tweety.agents.dialogues.structured.IndicatorUtilityFunction
 
hashCode() - Method in class net.sf.tweety.agents.MultiAgentSystem
 
hashCode() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
 
hashCode() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
 
hashCode() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
 
hashCode() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
 
hashCode() - Method in class net.sf.tweety.arg.aba.syntax.Negation
 
hashCode() - Method in class net.sf.tweety.arg.adf.semantics.Interpretation
 
hashCode() - Method in class net.sf.tweety.arg.adf.syntax.AssociativeAcceptanceCondition
 
hashCode() - Method in class net.sf.tweety.arg.adf.syntax.BinaryAcceptanceCondition
 
hashCode() - Method in class net.sf.tweety.arg.adf.syntax.ContradictionAcceptanceCondition
 
hashCode() - Method in class net.sf.tweety.arg.adf.syntax.TautologyAcceptanceCondition
 
hashCode() - Method in class net.sf.tweety.arg.adf.syntax.UnaryAcceptanceCondition
 
hashCode() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
 
hashCode() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
 
hashCode() - Method in class net.sf.tweety.arg.bipolar.syntax.Support
 
hashCode() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
 
hashCode() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
 
hashCode() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
 
hashCode() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
 
hashCode() - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument
 
hashCode() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.AbstractLdoModality
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
 
hashCode() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
 
hashCode() - Method in class net.sf.tweety.arg.dung.semantics.Extension
 
hashCode() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
 
hashCode() - Method in class net.sf.tweety.arg.dung.syntax.Argument
 
hashCode() - Method in class net.sf.tweety.arg.dung.syntax.Attack
 
hashCode() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
 
hashCode() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
 
hashCode() - Method in class net.sf.tweety.commons.BeliefSet
 
hashCode() - Method in class net.sf.tweety.commons.DualSetSignature
 
hashCode() - Method in class net.sf.tweety.commons.InterpretationSet
 
hashCode() - Method in class net.sf.tweety.commons.QuadrupleSetSignature
 
hashCode() - Method in interface net.sf.tweety.commons.Signature
 
hashCode() - Method in class net.sf.tweety.commons.SingleSetSignature
 
hashCode() - Method in class net.sf.tweety.commons.TripleSetSignature
 
hashCode() - Method in class net.sf.tweety.commons.util.Pair
 
hashCode() - Method in class net.sf.tweety.commons.util.rules.Derivation
 
hashCode() - Method in class net.sf.tweety.commons.util.Triple
 
hashCode() - Method in class net.sf.tweety.graphs.Edge
 
hashCode() - Method in class net.sf.tweety.graphs.UndirectedEdge
 
hashCode() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.Functor
 
hashCode() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.Predicate
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.Sort
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
 
hashCode() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.Complement
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.ComplexConcept
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
 
hashCode() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Contradiction
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Implication
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Negation
 
hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Tautology
 
hashCode() - Method in class net.sf.tweety.logics.ml.syntax.MlFormula
 
hashCode() - Method in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
 
hashCode() - Method in class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
 
hashCode() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
 
hashCode() - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Implication
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Negation
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
 
hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Tautology
 
hashCode() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
 
hashCode() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
 
hashCode() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
 
hashCode() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
 
hashCode() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
 
hashCode() - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
 
hashCode() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
 
hashCode() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
 
hashCode() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
 
hashCode() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
 
hashCode() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRule
 
hashCode() - Method in class net.sf.tweety.machinelearning.BooleanCategory
 
hashCode() - Method in interface net.sf.tweety.machinelearning.Category
 
hashCode() - Method in class net.sf.tweety.machinelearning.DoubleCategory
 
hashCode() - Method in interface net.sf.tweety.machinelearning.Observation
 
hashCode() - Method in class net.sf.tweety.math.norm.AggregatingNorm
 
hashCode() - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
 
hashCode() - Method in class net.sf.tweety.math.probability.Probability
 
hashCode() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
 
hashCode() - Method in class net.sf.tweety.math.term.FloatVariable
 
hashCode() - Method in class net.sf.tweety.math.term.Variable
 
hashCode() - Method in class net.sf.tweety.preferences.Quadruple
 
hashCode() - Method in class net.sf.tweety.preferences.update.Update
 
hasLeftRelation() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
Returns true if the aggregate has a left aggregate relation (meaning a term that the aggregate's resulting value will be compared to using a comparative operator).
hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTOptElement
 
hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTRule
 
hasLevel - Variable in class net.sf.tweety.lp.asp.parser.ASTWeight
 
hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOptElement
 
hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTRule
 
hasLevel(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTWeight
 
hasLowerBindingPriority(PlFormula) - Method in class net.sf.tweety.logics.pl.syntax.Negation
 
hasMinimalEvidentialSupport(Argument, Collection<Argument>) - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgSystem
returns true if argument has minimal reasoner.evidential support from set ext.
hasNext - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator
For hasNext().
hasNext() - Method in class net.sf.tweety.arg.adf.reasoner.Pipeline.PipelineIterator
 
hasNext() - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
 
hasNext() - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
 
hasNext() - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
 
hasNext() - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
 
hasNext() - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
 
hasNext() - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
 
hasNext() - Method in interface net.sf.tweety.commons.BeliefSetIterator
 
hasNext() - Method in class net.sf.tweety.commons.BeliefSetSampler
 
hasNext() - Method in interface net.sf.tweety.commons.InterpretationIterator
 
hasNext() - Method in class net.sf.tweety.commons.streams.DefaultFormulaStream
 
hasNext() - Method in interface net.sf.tweety.commons.streams.FormulaStream
 
hasNext() - Method in class net.sf.tweety.commons.util.DefaultSubsetIterator
 
hasNext() - Method in class net.sf.tweety.commons.util.IncreasingSubsetIterator
 
hasNext() - Method in class net.sf.tweety.commons.util.RandomSubsetIterator
 
hasNext() - Method in class net.sf.tweety.commons.util.SubsetIterator
 
hasNext() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
 
hasNext() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
 
hasNext() - Method in class net.sf.tweety.logics.pl.util.EnumeratingIterator
 
hasNext() - Method in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
 
hasNext() - Method in class net.sf.tweety.logics.pl.util.TextfileIterator
 
hasPerformedNoOperation - Variable in class net.sf.tweety.agents.RigidProtocol
Keeps track of whether an agent has performed a NO_OPERATION;
hasPerformedNoOperation(Agent) - Method in class net.sf.tweety.agents.RigidProtocol
Checks whether the given agent has already performed a NO_OPERATION.
hasQuery() - Method in class net.sf.tweety.lp.asp.syntax.Program
Returns true if the program contains a query.
hasRightRelation() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
Returns true if the aggregate has a right aggregate relation (meaning a term that the aggregate's resulting value will be compared to using a comparative operator).
hasSelfLoops() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
 
hasSelfLoops() - Method in class net.sf.tweety.graphs.DefaultGraph
 
hasSelfLoops() - Method in interface net.sf.tweety.graphs.Graph
Returns "true" iff the graph has a self loop (an edge from a node to itself).
hasTerminated - Variable in class net.sf.tweety.agents.SynchronousProtocol
This attribute indicates whether this protocol has terminated.
hasTerminated() - Method in class net.sf.tweety.agents.AbstractProtocol
This method determines if this protocol has terminated, i.e.
hasTerminated() - Method in class net.sf.tweety.agents.RigidProtocol
 
hasTerminated() - Method in class net.sf.tweety.agents.RoundRobinProtocol
 
hasTerminated() - Method in class net.sf.tweety.agents.SynchronousProtocol
 
hasWinner() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
 
hasWinner() - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
 
hasWinner() - Method in interface net.sf.tweety.agents.sim.GameProtocol
Returns "true" if the game has finished and a winner is determined, otherwise it returns "false"
hBase - Variable in class net.sf.tweety.logics.ml.semantics.MlHerbrandBase
 
HCategorizer - Class in net.sf.tweety.arg.deductive.categorizer
This class implements the h-categorizer from

Philippe Besnard and Anthony Hunter.
HCategorizer() - Constructor for class net.sf.tweety.arg.deductive.categorizer.HCategorizer
 
head - Variable in class net.sf.tweety.arg.aba.syntax.InferenceRule
The rule's conclusion
head - Variable in class net.sf.tweety.arg.delp.syntax.DelpRule
The head of the rule (this must be a literal).
head - Variable in class net.sf.tweety.lp.asp.syntax.ASPRule
The head (conclusion) of a rule.
Head() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
 
headFormula - Variable in class net.sf.tweety.action.description.syntax.CLaw
 
headsFromConjunction(Conjunction) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
 
HELPTEXT - Static variable in class net.sf.tweety.cli.plugins.CliMain
 
HerbrandBase - Class in net.sf.tweety.logics.fol.semantics
The Herbrand base is the set of all possible ground atoms of some given first-order logic.
HerbrandBase(FolSignature) - Constructor for class net.sf.tweety.logics.fol.semantics.HerbrandBase
Creates a new Herbrand base for the given signature.
HerbrandInterpretation - Class in net.sf.tweety.logics.fol.semantics
A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.
HerbrandInterpretation() - Constructor for class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
Creates a new empty Herbrand interpretation
HerbrandInterpretation(Collection<? extends FolAtom>) - Constructor for class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
Creates a new Herbrand interpretation with the given set of atoms
HessianGradientDescent - Class in net.sf.tweety.math.opt.solver
This class implements a gradient descent involving Hessian correction for solving unconstrained optimization problems.
HessianGradientDescent(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.HessianGradientDescent
 
HessianGradientDescentRootFinder - Class in net.sf.tweety.math.opt
Implements the hessiane/gradient descent method to find zeros of a (multi-dimensional) function.
HessianGradientDescentRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.HessianGradientDescentRootFinder
Creates a new root finder for the given starting point and the given (multi-dimensional) function
HessianGradientDescentRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.HessianGradientDescentRootFinder
Creates a new root finder for the given starting point and the given function
hitsRank(Graph<? extends Node>, Node, double, boolean) - Static method in class net.sf.tweety.graphs.util.GraphUtil
Computes the HITS rank of the given node in the given graph.
hittingSets - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
The current candidate populations for a hitting set.
hobbes() - Method in class net.sf.tweety.arg.delp.TestQueries
 
HoldsQuery - Class in net.sf.tweety.action.query.syntax
This class represents a holds query in the action query language S.
HoldsQuery(FolFormula) - Constructor for class net.sf.tweety.action.query.syntax.HoldsQuery
Creates a new holds query with the given inner formula.
HS - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
HsInconsistencyMeasure<B extends BeliefBase,​S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the Hitting Set inconsistency measure as proposed in [Thimm, 2014, in preparation].
HsInconsistencyMeasure(InterpretationIterator<S, B, ? extends Interpretation<B, S>>) - Constructor for class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure
Creates a new inconsistency measure that uses the interpretations given by the given iterator.
HsInconsistencyMeasurementProcess - Class in net.sf.tweety.logics.pl.analysis
Implements an approximation algorithm for the Hs inconsistency measure on streams.
HsInconsistencyMeasurementProcess() - Constructor for class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
 
HsSampler - Class in net.sf.tweety.logics.pl.util
Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.
HsSampler(PlSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.HsSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
HsSampler(PlSignature, int, int, int) - Constructor for class net.sf.tweety.logics.pl.util.HsSampler
Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
humanFriendly - Variable in class net.sf.tweety.logics.cl.reasoner.RuleBasedCReasoner
a flag indicating if a human friend processing shall be used, that means everything is calculated no fast-evaluation, such that a human can better follow the algorithm.
hunterExample10 - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
hunterExample13G1 - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
hunterExample13G2 - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
hunterExample14G1 - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
hunterExample14G2 - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
hunterExample15 - Static variable in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _ 
All Classes All Packages