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

B

backup(int) - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

backup(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

backup(int) - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

backup(int) - Method in class net.sf.tweety.preferences.io.SimpleCharStream

BalancedMachineShop - Class in net.sf.tweety.logics.pcl.analysis

This class implements a consistency restorer using balanced distance minimization, see [Diss, Thimm] for details.

BalancedMachineShop(CulpabilityMeasure<ProbabilisticConditional, PclBeliefSet>) - Constructor for class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop

BalancedMachineShop(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.BalancedMachineShop

BArgument - Class in net.sf.tweety.arg.bipolar.syntax

This class models an argument used by bipolar abstract argumentation theories.

BArgument(String) - Constructor for class net.sf.tweety.arg.bipolar.syntax.BArgument

BArgument(Argument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.BArgument

BASE_URI - Static variable in class net.sf.tweety.web.TweetyServer

BaseContractionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base contraction operator, ie.

BaseExpansionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base expansion operator, ie.

BaseRevisionOperator<T extends Formula> - Interface in net.sf.tweety.beliefdynamics

This is the interface for a classic belief base revision operator, ie.

BasicArgument - Class in net.sf.tweety.arg.saf.syntax

This class models a basic argument in structured argumentation frameworks, i.e.

BasicArgument(String) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Deprecated.

BasicArgument(Proposition) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Creates a new basic argument with the given claim and empty support.

BasicArgument(Proposition, Set<Proposition>) - Constructor for class net.sf.tweety.arg.saf.syntax.BasicArgument

Creates a new basic argument with the given claim and the given support.

BasicArgumentSampler - Class in net.sf.tweety.arg.saf.util

This class implements a formula sampler for structured argumentation frameworks.

BasicArgumentSampler(Signature) - Constructor for class net.sf.tweety.arg.saf.util.BasicArgumentSampler

Creates a new basic argument sampler for the given signature.

BasicExampleTest1() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest2() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest3() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicExampleTest4() - Method in class net.sf.tweety.lp.asp.analysis.ClingoTest

BasicFunctionalityTest - Class in net.sf.tweety.arg.bipolar

BasicFunctionalityTest() - Constructor for class net.sf.tweety.arg.bipolar.BasicFunctionalityTest

beginColumn - Variable in class net.sf.tweety.arg.delp.parser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.lp.asp.parser.Token

The column number of the first character of this Token.

beginColumn - Variable in class net.sf.tweety.preferences.io.Token

The column number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.arg.delp.parser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.lp.asp.parser.Token

The line number of the first character of this Token.

beginLine - Variable in class net.sf.tweety.preferences.io.Token

The line number of the first character of this Token.

BeginToken() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream

BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

BeginToken() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

BeginToken() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream

BeginToken() - Method in class net.sf.tweety.preferences.io.SimpleCharStream

BeliefBase - Interface in net.sf.tweety.commons

This class captures an abstract knowledge base, i.e.

BeliefBaseMachineShop - Interface in net.sf.tweety.commons

Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.

BeliefSet<T extends Formula,S extends Signature> - Class in net.sf.tweety.commons

This class models a belief set, i.e.

BeliefSet() - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new (empty) belief set.

BeliefSet(Collection<? extends T>) - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new belief set with the given collection of formulae.

BeliefSet(S) - Constructor for class net.sf.tweety.commons.BeliefSet

Creates a new belief set with the given type of signature.

BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample

BELIEFSET_PATH - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2

beliefSet2BitSet(PlBeliefSet) - Static method in class net.sf.tweety.logics.pl.util.CanonicalIterator

Creates a bitset representation of the given belief set.

BeliefSetConsistencyTester<T extends Formula> - Interface in net.sf.tweety.logics.commons.analysis

Classes extending this abstract class are capable of testing whether a given belief set is consistent.

BeliefSetInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis

Classes extending this abstract class represent inconsistency measures on belief sets.

BeliefSetInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.commons.analysis.BeliefSetInconsistencyMeasure

BeliefSetIterator<T extends Formula,U extends BeliefSet<T,?>> - Interface in net.sf.tweety.commons

Classes implementing this interface are able to enumerate belief sets.

BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>> - Class in net.sf.tweety.commons

This abstract class models a random sampler for belief sets.

BeliefSetSampler(Signature) - Constructor for class net.sf.tweety.commons.BeliefSetSampler

Creates a new belief base sampler for the given signature.

BeliefSetSampler(Signature, int, int) - Constructor for class net.sf.tweety.commons.BeliefSetSampler

Creates a new belief base sampler for the given signature.

BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels

This abstract class encapsulates the common characteristics of a belief state for arguing agents.

BeliefState(Extension, UtilityFunction<Argument, Extension>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.BeliefState

Creates a new belief-state with the given parameters.

BeliefStateConfiguration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim

This class encapsulates configuration options for generating belief states.

BeliefStateConfiguration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration

betweennessCentralityNormalised(Graph<T>) - Static method in class net.sf.tweety.graphs.util.GraphUtil

Computes the normalised betweenness centrality of all nodes, i.e.

BfgsRootFinder - Class in net.sf.tweety.math.opt.rootFinder

Implements the BFGS method to find zeros of a (multi-dimensional) function.

BfgsRootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.BfgsRootFinder

Creates a new root finder for the given starting point and the given (multi-dimensional) function

BfgsSolver - Class in net.sf.tweety.math.opt.solver

This class implements the BFGS algorithm for solving unconstrained optimization problems.

BfgsSolver(Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.solver.BfgsSolver

BfgsSolverEx - Class in net.sf.tweety.math.examples

This class implements an example for the BfgsSolver

BfgsSolverEx() - Constructor for class net.sf.tweety.math.examples.BfgsSolverEx

bigInteger2BinaryString(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools

Provides a string representation of the bits in the given BigInteger.

bigInteger2BitSet(BigInteger) - Static method in class net.sf.tweety.commons.util.ConversionTools

Creates a bit set from the given BigInteger.

binary - Static variable in class net.sf.tweety.math.opt.solver.GlpkSolver

Path to the binary or lp_solve

BinaryAttack - Class in net.sf.tweety.arg.bipolar.syntax

This class models a binary attack relation between two arguments.

BinaryAttack(BArgument, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.BinaryAttack

Default constructor; initializes the two arguments used in this attack relation

BinaryFunction<T,S,R> - Interface in net.sf.tweety.math.func

Encapsulates common methods of mathematical functions with a two parameters.

BinaryRelation<T> - Interface in net.sf.tweety.preferences

This abstract class provides a basic implementation of a generic set of pairs to be used for preference ordering.

binaryString2BitSet(String) - Static method in class net.sf.tweety.commons.util.ConversionTools

Creates a bit set from the given string of zeros and ones.

BinarySupport - Class in net.sf.tweety.arg.bipolar.syntax

This class models a support between two arguments.

BinarySupport(BArgument, BArgument) - Constructor for class net.sf.tweety.arg.bipolar.syntax.BinarySupport

Default constructor; initializes the two arguments used in this support relation

BinaryVariable - Class in net.sf.tweety.math.term

This class models a binary variable as a mathematical term.

BinaryVariable(String) - Constructor for class net.sf.tweety.math.term.BinaryVariable

Creates a new binary variable with the given name.

binomial(Integer, Integer) - Static method in class net.sf.tweety.commons.util.MathTools

This method computes "n choose k".

Binop() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

bipolar() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework

Checks if the ADF is bipolar.

BipolarEntity - Interface in net.sf.tweety.arg.bipolar.syntax

This interface captures common methods of arguments and argument sets of bipolar abstract argumentation theories.

BipolarSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings

BipolarSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.BipolarSatEncoding

birds() - Method in class net.sf.tweety.arg.delp.TestQueries

bitSet2BinaryString(BitSet) - Static method in class net.sf.tweety.commons.util.ConversionTools

Provides a string representation of the bits in the given BitSet.

Body() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

Body1() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

BooleanCategory - Class in net.sf.tweety.machinelearning

A category for one-class classifiers.

BooleanCategory(boolean) - Constructor for class net.sf.tweety.machinelearning.BooleanCategory

Creates a new category with the given value.

BordaScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation

Implementation of the borda scoring preference aggregator

BordaScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaScoringPreferenceAggregator

calls super-constructor with the amount of domain elements to aggregate

BordaWeightVector - Class in net.sf.tweety.preferences.aggregation

Implementation of the borda weight vector N elements are weighted from 0 to n-1 depending on their ranking function rank

BordaWeightVector(int) - Constructor for class net.sf.tweety.preferences.aggregation.BordaWeightVector

constructor for the borda weight vector

BOTH - net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue

BottomConcept - Class in net.sf.tweety.logics.dl.syntax

This class models the bottom concept (empty concept) in description logics.

BottomConcept() - Constructor for class net.sf.tweety.logics.dl.syntax.BottomConcept

Creates a new BottomConcept.

bottomElement() - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics

Returns the bottom element of this semantics.

bottomElement() - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics

BoundedSum - Class in net.sf.tweety.math.func.fuzzy

Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1)

BoundedSum() - Constructor for class net.sf.tweety.math.func.fuzzy.BoundedSum

BpmnEdge - Class in net.sf.tweety.logics.bpm.syntax

BpmnEdge(BpmnNode, BpmnNode) - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnEdge

BpmnElement - Class in net.sf.tweety.logics.bpm.syntax

BpmnElement(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnElement

BpmnFormula - Class in net.sf.tweety.logics.bpm.syntax

BpmnFormula() - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnFormula

BpmnModel - Class in net.sf.tweety.logics.bpm.syntax

BpmnModel() - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnModel

BpmnNode - Class in net.sf.tweety.logics.bpm.syntax

BpmnNode(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnNode

BpmnSignature - Class in net.sf.tweety.logics.bpm.syntax

BpmnSignature() - Constructor for class net.sf.tweety.logics.bpm.syntax.BpmnSignature

BrokenParenthesesTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

BrokenParenthesesTest2() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

BrokenParenthesesTest3() - Method in class net.sf.tweety.logics.pl.test.PlParserTest

bufpos - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream

Position in buffer.

bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

bufpos - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Position in buffer.

bufpos - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream

Position in buffer.

bufpos - Variable in class net.sf.tweety.preferences.io.SimpleCharStream

build() - Method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline.Builder

build() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.Interpretation.Builder

build() - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder

build() - Method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder

build() - Method in class net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

build(ConditionalStructure) - Method in class net.sf.tweety.logics.cl.kappa.ConditionalStructureKappaBuilder

This builds a map of conditionals to KappaValue instances which represent the penalty term for a falsified conditional

builder() - Static method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework

builder(Collection<Argument>) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

builder(Function<Argument, Proposition>) - Static method in class net.sf.tweety.arg.adf.transform.TseitinTransformer

builder(Map<Argument, Proposition>) - Static method in class net.sf.tweety.arg.adf.transform.TseitinTransformer

builder(CandidateGenerator, IncrementalSatSolver) - Static method in class net.sf.tweety.arg.adf.reasoner.sat.Pipeline

builder(AcceptanceCondition) - Static method in interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition

Returns a left-associative builder.

builder(AbstractDialecticalFramework) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation

Builder(Function<Argument, Proposition>) - Constructor for class net.sf.tweety.arg.adf.transform.TseitinTransformer.Builder

BuiltinAtom() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser

BurdenBasedRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner

This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.

BurdenBasedRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.BurdenBasedRankingReasoner

BurdenExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample

BusinessRule - net.sf.tweety.logics.bpm.syntax.TaskType

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