Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
B
- B_ADMISSIBLE_SEMANTICS - Static variable in enum org.tweetyproject.arg.bipolar.semantics.Semantics
-
all semantics
- B_COHERENT_SEMANTICS - Static variable in enum org.tweetyproject.arg.bipolar.semantics.Semantics
-
all semantics
- B_CONFLICT_FREE_SEMANTICS - Static variable in enum org.tweetyproject.arg.bipolar.semantics.Semantics
-
all semantics
- backend_timeout(int) - Method in class org.tweetyproject.web.services.adf.AdfServicesInfoResponse
-
Sets the backend timeout and returns this instance for method chaining.
- backend_timeout(int) - Method in class org.tweetyproject.web.services.bipolar.BipolarServicesInfoResponse
-
Sets the backend timeout and returns this instance for method chaining.
- backend_timeout(int) - Method in class org.tweetyproject.web.services.dung.DungServicesInfoResponse
-
Sets the backend timeout and returns this instance for method chaining.
- backend_timeout(int) - Method in class org.tweetyproject.web.services.iaf.IafServicesInfoResponse
-
Sets the backend timeout and returns this instance for method chaining.
- backend_timeout(int) - Method in class org.tweetyproject.web.services.rankings.RankingServicesInfoResponse
-
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.arg.bipolar.semantics.Semantics
-
ADM
- BAD - Enum constant in enum org.tweetyproject.math.algebra.NonNumericSemiring.SemiringElement
-
BAD
- BAD - Enum constant in enum org.tweetyproject.web.services.bipolar.BipolarSemantics
-
bipolar coherent admissible semantics
- 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
- BASE_URI - Static variable in class org.tweetyproject.web.TweetyServer
-
Base URI of this server
- 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
- BB - Enum constant in enum org.tweetyproject.arg.rankings.semantics.RankingSemantics
-
the Burden-based ranking semantics
- BCF - Enum constant in enum org.tweetyproject.arg.bipolar.semantics.Semantics
-
CF
- BCF - Enum constant in enum org.tweetyproject.web.services.bipolar.BipolarSemantics
-
bipolar conflict-free semantics
- BCOH - Enum constant in enum org.tweetyproject.arg.bipolar.semantics.Semantics
-
COH
- BCOH - Enum constant in enum org.tweetyproject.web.services.bipolar.BipolarSemantics
-
bipolar coherent semantics
- 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 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
-
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
-
Base class for acceptance conditions with two children.
- BinaryAcceptanceCondition(AcceptanceCondition, AcceptanceCondition) - Constructor for class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition
-
Creates a new binary acceptance condition.
- 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.
- 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
-
Parses a binary operator
- 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.
- BipolarArgumentationFramework - Class in org.tweetyproject.arg.bipolar.syntax
-
This class implements a bipolar abstract argumentation theory with support and attack relation.
- BipolarArgumentationFramework() - Constructor for class org.tweetyproject.arg.bipolar.syntax.BipolarArgumentationFramework
-
Default constructor; initializes empty sets of arguments, attacks and supports
- BipolarArgumentationFramework(BipolarArgumentationFramework) - Constructor for class org.tweetyproject.arg.bipolar.syntax.BipolarArgumentationFramework
-
Construct new BAF from given graph
- BipolarReasonerCalleeFactory - Class in org.tweetyproject.web.services.bipolar
-
Factory for creating bipolar reasoner callees from web request data.
- BipolarReasonerCalleeFactory.Command - Enum in org.tweetyproject.web.services.bipolar
-
Enumeration of commands supported by the factory, each with a unique ID and label.
- BipolarReasonerGetModelCallee - Class in org.tweetyproject.web.services.bipolar
-
The BipolarReasonerGetModelCallee class represents a callee for obtaining a model using a specified AbstractBipolarExtensionReasoner and AbstractBipolarFramework.
- BipolarReasonerGetModelCallee(AbstractBipolarExtensionReasoner, BipolarArgumentationFramework) - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerGetModelCallee
-
Constructs a new BipolarReasonerGetModelCallee with the specified reasoner and base AbstractBipolarFramework.
- BipolarReasonerGetModelsCallee - Class in org.tweetyproject.web.services.bipolar
-
The BipolarReasonerGetModelsCallee class represents a callee for obtaining multiple models using a specified AbstractBipolarExtensionReasoner and AbstractBipolarFramework.
- BipolarReasonerGetModelsCallee(AbstractBipolarExtensionReasoner, BipolarArgumentationFramework) - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerGetModelsCallee
-
Constructs a new BipolarReasonerGetModelsCallee with the specified reasoner and base AbstractBipolarFramework.
- BipolarReasonerPost - Class in org.tweetyproject.web.services.bipolar
-
Request payload for bipolar reasoner web service calls.
- BipolarReasonerPost() - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerPost
-
Creates an empty request payload.
- BipolarReasonerQueryAllCallee - Class in org.tweetyproject.web.services.bipolar
-
The DungReasonerQueryAllCallee class represents a callee for obtaining the credulous/skeptical arguments using a specified AbstractExtensionReasoner and BipolarArgumentationFramework.
- BipolarReasonerQueryAllCallee(AbstractBipolarExtensionReasoner, BipolarArgumentationFramework, InferenceMode) - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerQueryAllCallee
-
Constructs a new BipolarReasonerGetModelCallee with the specified reasoner and base BipolarArgumentationFramework.
- BipolarReasonerResponse - Class in org.tweetyproject.web.services.bipolar
-
The BipolarReasonerResponse class extends the Response class and represents a response containing information related to a bipolar argumentation reasoner result.
- BipolarReasonerResponse() - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerResponse
-
Default constructor for BipolarReasonerResponse.
- BipolarReasonerResponse(String, String, int, List<List<Integer>>, List<List<Integer>>, String, String, String, double, String, String) - Constructor for class org.tweetyproject.web.services.bipolar.BipolarReasonerResponse
-
Creates a bipolar reasoner response.
- 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.
- BipolarSemantics - Enum in org.tweetyproject.web.services.bipolar
-
An enumeration of all available semantics through the web service.
- BipolarServicesInfoResponse - Class in org.tweetyproject.web.services.bipolar
-
The BipolarServicesInfoResponse class extends the Response class and represents a response containing information about bipolar argumentation services.
- BipolarServicesInfoResponse() - Constructor for class org.tweetyproject.web.services.bipolar.BipolarServicesInfoResponse
-
Default constructor for BipolarServicesInfoResponse .
- BipolarServicesInfoResponse(String, String, int, List<String>, List<String>) - Constructor for class org.tweetyproject.web.services.bipolar.BipolarServicesInfoResponse
-
Parameterized constructor for BipolarServicesInfoResponse .
- 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
-
Parses the body of a rule as a list of atoms
- Body1() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
-
Parses a single body atom
- 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
-
The types of nodes in a BPMN model.
- 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
Configurationinstance 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
-
Builds and returns the acceptance condition
- 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
KappaValueinstances 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.Builderfor constructingConfigurationobjects. - 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
- BuiltinAtom() - Method in class org.tweetyproject.lp.asp.parser.ASPParser
-
Parses a built-in atom
- 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
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form