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

H

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.

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

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

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.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.deductive.semantics.DeductiveArgument

hashCode() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode

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.DungTheory

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.saf.syntax.ArgumentStructure

hashCode() - Method in class net.sf.tweety.commons.BeliefSet

hashCode() - Method in class net.sf.tweety.commons.InterpretationSet

hashCode() - Method in class net.sf.tweety.commons.SetSignature

hashCode() - Method in class net.sf.tweety.commons.Signature

hashCode() - Method in class net.sf.tweety.commons.util.DigraphNode

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.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.DlSignature

hashCode() - Method in class net.sf.tweety.logics.el.syntax.ModalFormula

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.FOLAtom

hashCode() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature

hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Negation

hashCode() - Method in class net.sf.tweety.logics.fol.syntax.QuantifiedFormula

hashCode() - Method in class net.sf.tweety.logics.fol.syntax.Tautology

hashCode() - Method in class net.sf.tweety.logics.ml.analysis.AggregatingCoherenceMeasure

hashCode() - Method in class net.sf.tweety.logics.ml.analysis.AggregatingDistanceFunction

hashCode() - Method in class net.sf.tweety.logics.ml.analysis.DefaultCompatibilityMeasure

hashCode() - Method in class net.sf.tweety.logics.ml.analysis.PNormDistanceFunction

hashCode() - Method in class net.sf.tweety.logics.ml.analysis.ProbabilisticPNormDistanceFunction

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.AssociativePropositionalFormula

hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction

hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Negation

hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Proposition

hashCode() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula

hashCode() - Method in class net.sf.tweety.logics.pl.syntax.Tautology

hashCode() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional

hashCode() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

hashCode() - Method in class net.sf.tweety.logics.rpcl.InstanceAssignment

hashCode() - Method in class net.sf.tweety.logics.rpcl.ReferenceWorld

hashCode() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.Comparative

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.DLPNot

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.Rule

hashCode() - Method in class net.sf.tweety.lp.asp.syntax.SymbolicSet

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.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

hasLeftGuard() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

hasLowerBindingPriority(PropositionalFormula) - Method in class net.sf.tweety.logics.pl.syntax.Negation

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 - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator

For hasNext().

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.CanonicalEnumerator

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.

hasRightGuard() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate

hasSelfLoops() - Method in class net.sf.tweety.arg.dung.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() - 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 - Variable in class net.sf.tweety.agents.SynchronousProtocol

This attribute indicates whether this protocol has terminated.

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"

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() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

head - Variable in class net.sf.tweety.lp.asp.syntax.ListTermValue

head() - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue

head - Variable in class net.sf.tweety.lp.asp.syntax.Rule

headFormula - Variable in class net.sf.tweety.action.description.syntax.CLaw

HeadOr() - Method in class net.sf.tweety.lp.asp.parser.ASPParser

headsFromConjunction(Conjunction) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator

helper(FolFormula, Pair<Integer, FolFormula>) - Method in class net.sf.tweety.logics.fol.parser.FolParserB

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(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

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

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.

hitsRankInverted(Graph<? extends Node>, Node, double, boolean) - Static method in class net.sf.tweety.arg.dung.test.AnalysisTest

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

holdsAll(DLPLiteral) - Method in class net.sf.tweety.lp.asp.util.AnswerSetList

this method returns ture iff all answer sets support q.

holdsOne(DLPLiteral) - Method in class net.sf.tweety.lp.asp.util.AnswerSetList

this method returns true if at least one answer set support q.

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.

HsInconsistencyMeasure<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<?>) - 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(PropositionalSignature, 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.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.

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