H-Index

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 and Interfaces|All Packages|Constant Field Values|Serialized Form

H

handleRequest(String) - Method in class org.tweetyproject.web.services.DelpService: Handles all requests for the delp service.
handleRequest(String) - Method in class org.tweetyproject.web.services.InconsistencyMeasurementService: Handles all requests for the inconsistency measurement service.
handleRequest(String) - Method in class org.tweetyproject.web.services.PingService: Handles all requests for theping service.
hasAttackBranch(Argument) - Method in class org.tweetyproject.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 org.tweetyproject.logics.pl.sat.PlMusEnumerator: Returns "true" if a default MUS enumerator is configured.
hasDefaultGeneralSolver() - Static method in class org.tweetyproject.math.opt.solver.Solver: Returns "true" if a default solver for general optimization problems is configured.
hasDefaultIntegerLinearSolver() - Static method in class org.tweetyproject.math.opt.solver.Solver: Returns "true" if a default solver for integer linear optimization problems is configured.
hasDefaultLinearSolver() - Static method in class org.tweetyproject.math.opt.solver.Solver: Returns "true" if a default solver for linear optimization problems is configured.
hasDefaultSolver() - Static method in class org.tweetyproject.logics.pl.sat.SatSolver: Returns "true" if a default SAT solver is configured.
hasDefeasibleSub() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument: Checks whether this has a defeasible subrule, premises do not count as subrules
hasDefenseBranch(Argument) - Method in class org.tweetyproject.arg.dung.syntax.DungTheory: If this graph is acyclic, this method checks if the given argument has a defense branch, i.e.
hasEmptyIntersection(Set<Set<E>>) - Method in class org.tweetyproject.commons.util.SetTools: Checks whether the given set of sets has an empty intersection
hasEvidentialSupport(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: returns true if argument has evidential support from set ext.
hashCode() - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement
hashCode() - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement
hashCode() - Method in class org.tweetyproject.action.transitionsystem.State
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.BeliefState
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameT1AgentGenerator
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T1Configuration
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState
hashCode() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState
hashCode() - Method in class org.tweetyproject.agents.dialogues.structured.IndicatorUtilityFunction
hashCode() - Method in class org.tweetyproject.agents.MultiAgentSystem
hashCode() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension
hashCode() - Method in class org.tweetyproject.arg.aba.syntax.Assumption
hashCode() - Method in class org.tweetyproject.arg.aba.syntax.Deduction
hashCode() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule
hashCode() - Method in class org.tweetyproject.arg.aba.syntax.Negation
hashCode() - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
hashCode() - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition
hashCode() - Method in class org.tweetyproject.arg.adf.util.Pair
hashCode() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument
hashCode() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack
hashCode() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport
hashCode() - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgument
hashCode() - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgumentNode
hashCode() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument
hashCode() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule
hashCode() - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument
hashCode() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation
hashCode() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation
hashCode() - Method in class org.tweetyproject.arg.dung.semantics.Extension
hashCode() - Method in class org.tweetyproject.arg.dung.semantics.Labeling
hashCode() - Method in class org.tweetyproject.arg.dung.syntax.Argument
hashCode() - Method in class org.tweetyproject.arg.dung.syntax.Attack
hashCode() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
hashCode() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure
hashCode() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
hashCode() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack
hashCode() - Method in class org.tweetyproject.commons.BeliefSet
hashCode() - Method in class org.tweetyproject.commons.DualSetSignature
hashCode() - Method in class org.tweetyproject.commons.InterpretationSet
hashCode() - Method in class org.tweetyproject.commons.QuadrupleSetSignature
hashCode() - Method in interface org.tweetyproject.commons.Signature
hashCode() - Method in class org.tweetyproject.commons.SingleSetSignature
hashCode() - Method in class org.tweetyproject.commons.TripleSetSignature
hashCode() - Method in class org.tweetyproject.commons.util.Pair
hashCode() - Method in class org.tweetyproject.commons.util.rules.Derivation
hashCode() - Method in class org.tweetyproject.commons.util.Triple
hashCode() - Method in class org.tweetyproject.graphs.Edge
hashCode() - Method in class org.tweetyproject.graphs.HyperDirEdge
hashCode() - Method in class org.tweetyproject.graphs.UndirectedEdge
hashCode() - Method in class org.tweetyproject.logics.cl.syntax.Conditional
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.Functor
hashCode() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.Predicate
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.QuantifiedFormulaSupport
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.Sort
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter
hashCode() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.Complement
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.ComplexConcept
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept
hashCode() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.Contradiction
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.Implication
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.Negation
hashCode() - Method in class org.tweetyproject.logics.fol.syntax.Tautology
hashCode() - Method in class org.tweetyproject.logics.ml.syntax.MlFormula
hashCode() - Method in class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
hashCode() - Method in class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure
hashCode() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional
hashCode() - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld
hashCode() - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Contradiction
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Implication
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Negation
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Proposition
hashCode() - Method in class org.tweetyproject.logics.pl.syntax.Tautology
hashCode() - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder
hashCode() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula
hashCode() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula
hashCode() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional
hashCode() - Method in class org.tweetyproject.logics.rdl.semantics.Extension
hashCode() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule
hashCode() - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
hashCode() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld
hashCode() - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional
hashCode() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld
hashCode() - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld
hashCode() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
hashCode() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted
hashCode() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
hashCode() - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.Program
hashCode() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation
hashCode() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot
hashCode() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRule
hashCode() - Method in class org.tweetyproject.machinelearning.BooleanCategory
hashCode() - Method in interface org.tweetyproject.machinelearning.Category
hashCode() - Method in class org.tweetyproject.machinelearning.DoubleCategory
hashCode() - Method in interface org.tweetyproject.machinelearning.Observation
hashCode() - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy
hashCode() - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedAction
hashCode() - Method in class org.tweetyproject.math.norm.AggregatingNorm
hashCode() - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm
hashCode() - Method in class org.tweetyproject.math.probability.Probability
hashCode() - Method in class org.tweetyproject.math.probability.ProbabilityFunction
hashCode() - Method in class org.tweetyproject.math.term.FloatVariable
hashCode() - Method in class org.tweetyproject.math.term.Variable
hashCode() - Method in class org.tweetyproject.preferences.Quadruple
hashCode() - Method in class org.tweetyproject.preferences.update.Update
hasLeftRelation() - Method in class org.tweetyproject.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 org.tweetyproject.lp.asp.parser.ASTOptElement
hasLevel - Variable in class org.tweetyproject.lp.asp.parser.ASTRule
hasLevel(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTOptElement
hasLevel(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTRule
hasLevel(boolean) - Method in class org.tweetyproject.lp.asp.parser.ASTWeight
hasLowerBindingPriority(PlFormula) - Method in class org.tweetyproject.logics.pl.syntax.Negation
hasLowerBindingPriority(PlFormula) - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision
hasLowerBindingPriority(PlFormula) - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation
hasMarking(Marking) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: Determine if the specified marking is present as a node in the graph
hasMinimalEvidentialSupport(BArgument, Collection<BArgument>) - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework: returns true if argument has minimal evidential support from set ext.
hasNext() - Method in class org.tweetyproject.arg.adf.semantics.interpretation.InterpretationIterator
hasNext() - Method in class org.tweetyproject.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator
hasNext() - Method in class org.tweetyproject.arg.adf.util.ExcludeSubinterpretationsIterator
hasNext() - Method in class org.tweetyproject.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
hasNext() - Method in class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator
hasNext() - Method in interface org.tweetyproject.arg.dung.util.DungTheoryGenerator
hasNext() - Method in class org.tweetyproject.arg.dung.util.EnumeratingDungTheoryGenerator
hasNext() - Method in class org.tweetyproject.arg.dung.util.FileDungTheoryGenerator
hasNext() - Method in class org.tweetyproject.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
hasNext() - Method in class org.tweetyproject.arg.dung.util.KwtDungTheoryGenerator
hasNext() - Method in class org.tweetyproject.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
hasNext() - Method in interface org.tweetyproject.commons.BeliefSetIterator
hasNext() - Method in class org.tweetyproject.commons.BeliefSetSampler
hasNext() - Method in interface org.tweetyproject.commons.InterpretationIterator
hasNext() - Method in class org.tweetyproject.commons.streams.DefaultFormulaStream
hasNext() - Method in interface org.tweetyproject.commons.streams.FormulaStream
hasNext() - Method in class org.tweetyproject.commons.util.DefaultSubsetIterator
hasNext() - Method in class org.tweetyproject.commons.util.IncreasingSubsetIterator
hasNext() - Method in class org.tweetyproject.commons.util.RandomSubsetIterator
hasNext() - Method in class org.tweetyproject.commons.util.SubsetIterator
hasNext() - Method in class org.tweetyproject.logics.pl.semantics.PossibleWorldIterator
hasNext() - Method in class org.tweetyproject.logics.pl.util.CanonicalIterator
hasNext() - Method in class org.tweetyproject.logics.pl.util.EnumeratingIterator
hasNext() - Method in class org.tweetyproject.logics.pl.util.SyntacticEnumeratingIterator
hasNext() - Method in class org.tweetyproject.logics.pl.util.TextfileIterator
hasNext() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorldIterator
hasNext() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldIterator
hasPlace(Place) - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.Marking
hasQuery() - Method in class org.tweetyproject.lp.asp.syntax.Program: Returns true if the program contains a query.
hasRightRelation() - Method in class org.tweetyproject.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 org.tweetyproject.arg.bipolar.syntax.AbstractBipolarFramework
hasSelfLoops() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory
hasSelfLoops() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf
hasSelfLoops() - Method in class org.tweetyproject.graphs.DefaultGraph
hasSelfLoops() - Method in interface org.tweetyproject.graphs.DirHyperGraph: Returns "true" iff the DirHyperGraph has a self loop (an edge from a node to itself).
hasSelfLoops() - Method in interface org.tweetyproject.graphs.Graph: Returns "true" iff the graph has a self loop (an edge from a node to itself).
hasSelfLoops() - Method in class org.tweetyproject.graphs.HyperGraph
hasSelfLoops() - Method in class org.tweetyproject.logics.bpm.syntax.BpmnModel
hasSelfLoops() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet
hasSelfLoops() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
hasStatefulVerifier() - Method in interface org.tweetyproject.arg.adf.reasoner.sat.execution.Semantics
hasValidProbabilityFunction() - Method in class org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph: specifies if the probability function of this graph is 1.
hasWinner() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol
hasWinner() - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol
hasWinner() - Method in interface org.tweetyproject.agents.sim.GameProtocol: Returns "true" if the game has finished and a winner is determined, otherwise it returns "false"
HCategorizer - Class in org.tweetyproject.arg.deductive.categorizer: This class implements the h-categorizer from

Philippe Besnard and Anthony Hunter.
HCategorizer() - Constructor for class org.tweetyproject.arg.deductive.categorizer.HCategorizer
Head() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
HELPTEXT - Static variable in class org.tweetyproject.cli.plugins.CliMain
HerbrandBase - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.semantics.HerbrandBase: Creates a new Herbrand base for the given signature.
HerbrandInterpretation - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.semantics.HerbrandInterpretation: Creates a new empty Herbrand interpretation.
HerbrandInterpretation(Collection<? extends FolAtom>) - Constructor for class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation: Creates a new Herbrand interpretation with the given set of atoms
HessianGradientDescent - Class in org.tweetyproject.math.opt.solver: This class implements a gradient descent involving Hessian correction for solving unconstrained optimization problems.
HessianGradientDescent(Map<Variable, Term>) - Constructor for class org.tweetyproject.math.opt.solver.HessianGradientDescent
HessianGradientDescentRootFinder - Class in org.tweetyproject.math.opt.rootFinder: Implements the hessiane/gradient descent method to find zeros of a (multi-dimensional) function.
HessianGradientDescentRootFinder() - Constructor for class org.tweetyproject.math.opt.rootFinder.HessianGradientDescentRootFinder: Creates a new root finder for the given starting point and the given (multi-dimensional) function
HessianGradientSolverEx - Class in org.tweetyproject.math.examples: This class implements an example for the Hessian Gradient Solver
HessianGradientSolverEx() - Constructor for class org.tweetyproject.math.examples.HessianGradientSolverEx
HeuristicImportance - Variable in class org.tweetyproject.math.opt.solver.AntColonyOptimization: Heuristic Importance
hitsRank(Graph<? extends Node>, Node, double, boolean) - Static method in class org.tweetyproject.graphs.util.GraphUtil: Computes the HITS rank of the given node in the given graph.
hobbes() - Method in class org.tweetyproject.arg.delp.TestQueries
HoldsQuery - Class in org.tweetyproject.action.query.syntax: This class represents a holds query in the action query language S.
HoldsQuery(FolFormula) - Constructor for class org.tweetyproject.action.query.syntax.HoldsQuery: Creates a new holds query with the given inner formula.
HS - Enum constant in enum org.tweetyproject.logics.pl.analysis.InconsistencyMeasureFactory.Measure: HS
HsInconsistencyMeasure<B extends BeliefBase,S extends Formula> - Class in org.tweetyproject.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 org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure: Creates a new inconsistency measure that uses the interpretations given by the given iterator.
HsInconsistencyMeasurementProcess - Class in org.tweetyproject.logics.pl.analysis: Implements an approximation algorithm for the Hs inconsistency measure on streams.
HsInconsistencyMeasurementProcess() - Constructor for class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess
HsSampler - Class in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.util.HsSampler: Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
HsSatInconsistencyMeasure - Class in org.tweetyproject.logics.pl.analysis: This class implements a SAT encoding of the hitting set inconsistency measure, originally proposed in [Thimm.
HsSatInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure: Create a new HsSatInconsistencyMeasure with the default SAT solver.
HsSatInconsistencyMeasure(SatSolver) - Constructor for class org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure: Create a new HsSatInconsistencyMeasure with the given SAT solver.
HyperDirEdge<T extends Node> - Class in org.tweetyproject.graphs: Instances of this class represent abstract edges.
HyperDirEdge(Set<T>, T) - Constructor for class org.tweetyproject.graphs.HyperDirEdge: Creates a new edge for the given nodes.
HyperDirEdge(Set<T>, T, String) - Constructor for class org.tweetyproject.graphs.HyperDirEdge: Creates a new edge for the given nodes.
HyperDirEdge(T, T) - Constructor for class org.tweetyproject.graphs.HyperDirEdge: Creates a new edge for the given nodes.
HyperGraph<T extends Node> - Class in org.tweetyproject.graphs: This class implements a simple directed hypergraph
HyperGraph() - Constructor for class org.tweetyproject.graphs.HyperGraph: constructor
HyperGraphExample - Class in org.tweetyproject.graphs.examples: example for a hypergraph
HyperGraphExample() - Constructor for class org.tweetyproject.graphs.examples.HyperGraphExample

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 and Interfaces|All Packages|Constant Field Values|Serialized Form