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

B

backend_timeout(int) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse
Sets the backend timeout and returns this instance for method chaining.
backup(int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
Rewinds the input stream by a specified number of characters.
backup(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Backup a number of characters.
backup(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Rewinds the input stream by a specified number of characters.
backup(int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream
backup by amount
backup(int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream
Backups the character buffer by a specified amount.
BAD - Enum constant in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement
BAD
BalancedMachineShop - Class in org.tweetyproject.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 org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
Constructor
BalancedMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
Constructor
BArgument - Class in org.tweetyproject.arg.bipolar.syntax
This class models an argument used by bipolar abstract argumentation theories.
BArgument(String) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BArgument
Constructs a new bipolar argument with the specified name.
BArgument(Argument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BArgument
Constructs a new bipolar argument from an existing argument.
BASE_URI - Static variable in class org.tweetyproject.web.TweetyServer
Base URI of this server
BaseContractionOperator<T> - Interface in org.tweetyproject.beliefdynamics
This is the interface for a classic belief base contraction operator, ie.
BaseExpansionOperator<T> - Interface in org.tweetyproject.beliefdynamics
This is the interface for a classic belief base expansion operator, ie.
BaseRevisionOperator<T> - Interface in org.tweetyproject.beliefdynamics
This is the interface for a classic belief base revision operator, ie.
BasicArgument - Class in org.tweetyproject.arg.saf.syntax
This class models a basic argument in structured argumentation frameworks, i.e.
BasicArgument(String) - Constructor for class org.tweetyproject.arg.saf.syntax.BasicArgument
Deprecated.
BasicArgument(Proposition) - Constructor for class org.tweetyproject.arg.saf.syntax.BasicArgument
Creates a new basic argument with the given claim and empty support.
BasicArgument(Proposition, Set<Proposition>) - Constructor for class org.tweetyproject.arg.saf.syntax.BasicArgument
Creates a new basic argument with the given claim and the given support.
BasicArgumentSampler - Class in org.tweetyproject.arg.saf.util
This class implements a formula sampler for structured argumentation frameworks.
BasicArgumentSampler(Signature) - Constructor for class org.tweetyproject.arg.saf.util.BasicArgumentSampler
Creates a new basic argument sampler for the given signature.
BasicExampleTest1() - Method in class org.tweetyproject.lp.asp.analysis.ClingoTest
basic test 1
BasicExampleTest2() - Method in class org.tweetyproject.lp.asp.analysis.ClingoTest
basic test 2
BasicExampleTest3() - Method in class org.tweetyproject.lp.asp.analysis.ClingoTest
basic example 3
BasicExampleTest4() - Method in class org.tweetyproject.lp.asp.analysis.ClingoTest
basic test 4
BasicFunctionalityTest - Class in org.tweetyproject.arg.bipolar
 
BasicFunctionalityTest() - Constructor for class org.tweetyproject.arg.bipolar.BasicFunctionalityTest
 
beginColumn - Variable in class org.tweetyproject.arg.delp.parser.Token
The column number of the first character of this Token.
beginColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The column number of the first character of this Token.
beginColumn - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The column number of the first character of this Token.
beginColumn - Variable in class org.tweetyproject.lp.asp.parser.Token
The column number of the first character of this Token.
beginColumn - Variable in class org.tweetyproject.preferences.io.Token
The column number of the first character of this token.
beginLine - Variable in class org.tweetyproject.arg.delp.parser.Token
The line number of the first character of this Token.
beginLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
The line number of the first character of this Token.
beginLine - Variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
The line number of the first character of this Token.
beginLine - Variable in class org.tweetyproject.lp.asp.parser.Token
The line number of the first character of this Token.
beginLine - Variable in class org.tweetyproject.preferences.io.Token
The line number of the first character of this token.
BeginToken() - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
Start.
BeginToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Start.
BeginToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Start
BeginToken() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream
Return begin
BeginToken() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
Begins the token processing by reading the next character from the input stream.
BeliefBase - Interface in org.tweetyproject.commons
This class captures an abstract knowledge base, i.e.
BeliefBaseMachineShop - Interface in org.tweetyproject.commons
Classes implementing this interface are capable of restoring consistency of inconsistent belief bases.
BeliefSet<T,S> - Class in org.tweetyproject.commons
This class models a belief set, i.e.
BeliefSet() - Constructor for class org.tweetyproject.commons.BeliefSet
Creates a new (empty) belief set.
BeliefSet(Collection<? extends T>) - Constructor for class org.tweetyproject.commons.BeliefSet
Creates a new belief set with the given collection of formulae.
BeliefSet(S) - Constructor for class org.tweetyproject.commons.BeliefSet
Creates a new belief set with the given type of signature.
BELIEFSET_PATH - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample
BELIEFSET PATH
BELIEFSET_PATH - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2
BELIEFSET PATH
beliefSet2BitSet(PlBeliefSet) - Static method in class org.tweetyproject.logics.pl.util.CanonicalIterator
Creates a bitset representation of the given belief set.
BeliefSetConsistencyTester<T> - Interface in org.tweetyproject.logics.commons.analysis
Classes extending this abstract class are capable of testing whether a given belief set is consistent.
BeliefSetInconsistencyMeasure<S> - Class in org.tweetyproject.logics.commons.analysis
Classes extending this abstract class represent inconsistency measures on belief sets.
BeliefSetInconsistencyMeasure() - Constructor for class org.tweetyproject.logics.commons.analysis.BeliefSetInconsistencyMeasure
 
BeliefSetIterator<T,U> - Interface in org.tweetyproject.commons
Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler<T,U> - Class in org.tweetyproject.commons
This abstract class models a random sampler for belief sets.
BeliefSetSampler(Signature) - Constructor for class org.tweetyproject.commons.BeliefSetSampler
Creates a new belief base sampler for the given signature.
BeliefSetSampler(Signature, int, int) - Constructor for class org.tweetyproject.commons.BeliefSetSampler
Creates a new belief base sampler for the given signature.
BeliefState - Class in org.tweetyproject.agents.dialogues.oppmodels
This abstract class encapsulates the common characteristics of a belief state for arguing agents.
BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.BeliefState
Creates a new belief-state with the given parameters.
BeliefStateConfiguration - Class in org.tweetyproject.agents.dialogues.oppmodels.sim
This class encapsulates configuration options for generating belief states.
BeliefStateConfiguration() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.BeliefStateConfiguration
Default Constructor
bestNeighbor(ArrayList<ElementOfCombinatoricsProb>) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearch
performs one step of a local search
bestNeighbor(Map<Variable, Term>, int, int, double, Term) - Method in class org.tweetyproject.math.opt.solver.IteratedLocalSearchOnConstrProb
Return the best solution that was found and is a mutant of currSol
betterOrSame(T, T) - Method in class org.tweetyproject.math.algebra.Semiring
Returns true if value 'a' is better than or equal to value 'b' in the semiring.
betweennessCentralityNormalised(Graph<T>) - Static method in class org.tweetyproject.graphs.util.GraphUtil
Computes the normalised betweenness centrality of all nodes, i.e.
BfgsRootFinder - Class in org.tweetyproject.math.opt.rootFinder
Implements the BFGS method to find zeros of a (multi-dimensional) function.
BfgsRootFinder() - Constructor for class org.tweetyproject.math.opt.rootFinder.BfgsRootFinder
Creates a new root finder for the given starting point and the given (multi-dimensional) function
BfgsSolver - Class in org.tweetyproject.math.opt.solver
This class implements the BFGS algorithm for solving unconstrained optimization problems.
BfgsSolver(Map<Variable, Term>) - Constructor for class org.tweetyproject.math.opt.solver.BfgsSolver
Constructor
BfgsSolverEx - Class in org.tweetyproject.math.examples
This class implements an example for the BfgsSolver
BfgsSolverEx() - Constructor for class org.tweetyproject.math.examples.BfgsSolverEx
Constructor
bigInteger2BinaryString(BigInteger) - Static method in class org.tweetyproject.commons.util.ConversionTools
Provides a string representation of the bits in the given BigInteger.
bigInteger2BitSet(BigInteger) - Static method in class org.tweetyproject.commons.util.ConversionTools
Creates a bit set from the given BigInteger.
binary - Static variable in class org.tweetyproject.math.opt.solver.GlpkSolver
Path to the binary or lp_solve
BinaryAcceptanceCondition - Class in org.tweetyproject.arg.adf.syntax.acc
BinaryAcceptanceCondition class
BinaryAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
 
BinaryAttack - Class in org.tweetyproject.arg.bipolar.syntax
This class models a binary attack relation between two arguments.
BinaryAttack(BArgument, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BinaryAttack
Default constructor; initializes the two arguments used in this attack relation
BinaryFunction<T,S,R> - Interface in org.tweetyproject.math.func
Encapsulates common methods of mathematical functions with a two parameters.
BinaryRelation<T> - Interface in org.tweetyproject.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 org.tweetyproject.commons.util.ConversionTools
Creates a bit set from the given string of zeros and ones.
BinarySupport - Class in org.tweetyproject.arg.bipolar.syntax
This class models a support between two arguments.
BinarySupport(BArgument, BArgument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BinarySupport
Default constructor; initializes the two arguments used in this support relation
BinaryVariable - Class in org.tweetyproject.math.term
This class models a binary variable as a mathematical term.
BinaryVariable(String) - Constructor for class org.tweetyproject.math.term.BinaryVariable
Creates a new binary variable with the given name.
binomial(Integer, Integer) - Static method in class org.tweetyproject.commons.util.MathTools
This method computes "n choose k".
Binop() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
 
bipolar() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Checks if the ADF is bipolar, meaning all links are either supporting or attacking.
BipolarEntity - Interface in org.tweetyproject.arg.bipolar.syntax
This interface captures common methods of arguments and argument sets of bipolar abstract argumentation theories.
BipolarSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings
This class implements a SAT encoding for bipolar Abstract Dialectical Frameworks (ADF).
BipolarSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.BipolarSatEncoding
Constructs a new BipolarSatEncoding for the given Abstract Dialectical Framework (ADF) and propositional mapping.
birds() - Method in class org.tweetyproject.arg.delp.TestQueries
 
bitSet2BinaryString(BitSet) - Static method in class org.tweetyproject.commons.util.ConversionTools
Provides a string representation of the bits in the given BitSet.
Body() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
Return BodyList
Body1() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
Return Body
BooleanCategory - Class in org.tweetyproject.machinelearning
A category for one-class classifiers.
BooleanCategory(boolean) - Constructor for class org.tweetyproject.machinelearning.BooleanCategory
Creates a new category with the given value.
BooleanSemiring - Class in org.tweetyproject.math.algebra
This class represents a Boolean semiring.
BooleanSemiring() - Constructor for class org.tweetyproject.math.algebra.BooleanSemiring
Constructs a BooleanSemiring with logical OR, logical AND as addition and multiplication operations, respectively.
BordaScoringPreferenceAggregator<T> - Class in org.tweetyproject.preferences.aggregation
Implementation of the borda scoring preference aggregator
BordaScoringPreferenceAggregator(int) - Constructor for class org.tweetyproject.preferences.aggregation.BordaScoringPreferenceAggregator
calls super-constructor with the amount of domain elements to aggregate
BordaWeightVector - Class in org.tweetyproject.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 org.tweetyproject.preferences.aggregation.BordaWeightVector
constructor for the borda weight vector
BOTH - Enum constant in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue
both
BOTH - Enum constant in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue
BOTH
BottleneckSemiring - Class in org.tweetyproject.math.algebra
This class represents a Bottleneck Semiring.
BottleneckSemiring() - Constructor for class org.tweetyproject.math.algebra.BottleneckSemiring
Constructs a BottleneckSemiring instance.
BottleneckSemiring(double) - Constructor for class org.tweetyproject.math.algebra.BottleneckSemiring
Constructs a BottleneckSemiring instance with a max weight.
BottomConcept - Class in org.tweetyproject.logics.dl.syntax
This class models the bottom concept (empty concept) in description logics.
BottomConcept() - Constructor for class org.tweetyproject.logics.dl.syntax.BottomConcept
Creates a new BottomConcept.
bottomElement() - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics
Returns the bottom element of this semantics.
bottomElement() - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics
 
BoundedSum - Class in org.tweetyproject.math.func.fuzzy
Represents the bounded sum in fuzzy logic, i.e., S(x,y)=min(x+y,1)
BoundedSum() - Constructor for class org.tweetyproject.math.func.fuzzy.BoundedSum
Constructor
BpmnEdge - Class in org.tweetyproject.logics.bpm.syntax
A class to represent Edges in a BPMN Model
BpmnEdge(BpmnNode, BpmnNode) - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnEdge
Create a new Edge
BpmnEdge(BpmnNode, BpmnNode, String) - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnEdge
Create a new labelled adge
BpmnElement - Class in org.tweetyproject.logics.bpm.syntax
A class to represent elements of a BPMN Model
BpmnElement() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnElement
Create a new BPMN element
BpmnFormula - Class in org.tweetyproject.logics.bpm.syntax
A class to represent parts of a BPMN Model as a formula
BpmnFormula() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnFormula
Default Constructor
BpmnInconsistencyMeasure - Interface in org.tweetyproject.logics.bpm.analysis
BpmnInconsistencyMeasure class
BpmnModel - Class in org.tweetyproject.logics.bpm.syntax
A class to represent a BPMN Model
BpmnModel() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnModel
Default Constructor
BpmnModel.BpmnNodeType - Enum in org.tweetyproject.logics.bpm.syntax
 
BpmnModelParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
Parse a BPMN Model from the 'definitions' node of a XML representation
BpmnModelParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BpmnModelParser
Creates a new parser for the given BPMN model
BpmnModelPlotter - Class in org.tweetyproject.logics.bpm.plotting
This class is for displaying instances of the BpmnModel class graphically
BpmnModelPlotter(Plotter, BpmnModel) - Constructor for class org.tweetyproject.logics.bpm.plotting.BpmnModelPlotter
Create a new instance for plotting the BpmnModel
BpmnNode - Class in org.tweetyproject.logics.bpm.syntax
A class to represent all kinds of nodes in a BPMN Model
BpmnNode() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnNode
Create a new instance
BpmnSignature - Class in org.tweetyproject.logics.bpm.syntax
The BpmnSignature class
BpmnSignature() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnSignature
Default Constructor
BrokenParenthesesTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
BrokenParenthesesTest2() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
BrokenParenthesesTest3() - Method in class org.tweetyproject.logics.pl.test.PlParserTest
 
BufferedBpmnEdge - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn
This is a helper class for parsing edges in a BPMN Model
BufferedBpmnEdge() - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.BufferedBpmnEdge
create a new instance
bufpos - Variable in class org.tweetyproject.arg.delp.parser.SimpleCharStream
Position in buffer.
bufpos - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
Position in buffer.
bufpos - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Position in buffer.
bufpos - Variable in class org.tweetyproject.lp.asp.parser.SimpleCharStream
Position in buffer.
bufpos - Variable in class org.tweetyproject.preferences.io.SimpleCharStream
Position in the buffer.
build() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
Builds and returns a new Configuration instance based on the current settings.
build() - Method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver.Builder
 
build() - Method in class org.tweetyproject.arg.adf.semantics.interpretation.Interpretation.Builder
 
build() - Method in class org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition.Builder
 
build() - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework.Builder
Builds and returns the constructed AbstractDialecticalFramework.
build(ConditionalStructure) - Method in class org.tweetyproject.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 class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration
Returns a new Configuration.Builder for constructing Configuration objects.
builder() - Static method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework
Returns a builder for constructing a new AbstractDialecticalFramework.
builder(Collection<Argument>) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
builder(IncrementalSatSolver) - Static method in class org.tweetyproject.arg.adf.sat.solver.PooledIncrementalSatSolver
 
builder(AcceptanceCondition) - Static method in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition
Returns a left-associative builder.
builder(AbstractDialecticalFramework) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation
 
Builder() - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
 
buildExample1() - Static method in class org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample
Builds an example argumentation framework
buildExample2() - Static method in class org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample
Builds an example argumentation framework
buildExample3() - Static method in class org.tweetyproject.arg.dung.examples.SerialisableExtensionReasonerExample
Builds an example argumentation framework
BuiltinAtom() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
 
BurdenBasedRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner
This class implements the "Burden-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
BurdenBasedRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.BurdenBasedRankingReasoner
Default Constructor
BurdenExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
Evaluates the BurdenBasedRankingReasoner against all postulates and prints the results.
BusinessRule - Enum constant in enum org.tweetyproject.logics.bpm.syntax.TaskType
BusinessRule
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