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