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.

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.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.aspic.syntax.AspicArgument

hashCode() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule

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

hasNext - Variable in class net.sf.tweety.commons.util.IncreasingSubsetIterator

For hasNext().

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.

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