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

backup(int) - Method in class org.tweetyproject.arg.delp.parser.SimpleCharStream
backup(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
backup(int) - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
backup(int) - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Backup a number of characters.
backup(int) - Method in class org.tweetyproject.preferences.io.SimpleCharStream
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
BalancedMachineShop(OptimizationRootFinder) - Constructor for class org.tweetyproject.logics.pcl.analysis.BalancedMachineShop
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
BArgument(Argument) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BArgument
BASE_URI - Static variable in class org.tweetyproject.web.TweetyServer
BaseContractionOperator<T extends Formula> - Interface in org.tweetyproject.beliefdynamics: This is the interface for a classic belief base contraction operator, ie.
BaseExpansionOperator<T extends Formula> - Interface in org.tweetyproject.beliefdynamics: This is the interface for a classic belief base expansion operator, ie.
BaseRevisionOperator<T extends Formula> - 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
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
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
BeginToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
BeginToken() - Static method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
BeginToken() - Method in class org.tweetyproject.lp.asp.parser.SimpleCharStream: Start.
BeginToken() - Method in class org.tweetyproject.preferences.io.SimpleCharStream
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 extends Formula,S extends Signature> - 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 extends Formula> - 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 extends Formula> - 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 extends Formula,U extends BeliefSet<T,?>> - Interface in org.tweetyproject.commons: Classes implementing this interface are able to enumerate belief sets.
BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>> - 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
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
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
BfgsSolverEx - Class in org.tweetyproject.math.examples: This class implements an example for the BfgsSolver
BfgsSolverEx() - Constructor for class org.tweetyproject.math.examples.BfgsSolverEx
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(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.
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
BipolarSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.BipolarSatEncoding
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
Body1() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
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.
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
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
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
BpmnInconsistencyMeasure - Interface in org.tweetyproject.logics.bpm.analysis
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
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
BpmnSignature() - Constructor for class org.tweetyproject.logics.bpm.syntax.BpmnSignature
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
bufpos - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
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
build() - Method in class org.tweetyproject.arg.adf.reasoner.sat.execution.Configuration.Builder
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
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
builder() - Static method in interface org.tweetyproject.arg.adf.syntax.adf.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
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
BurdenExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample
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