Serialized Form
-
Package <Unnamed>
-
Class svm_toy
class svm_toy extends Applet implements Serializable
-
-
Package org.tweetyproject.agents
-
Exception Class org.tweetyproject.agents.ProtocolTerminatedException
class ProtocolTerminatedException extends Exception implements Serializable- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.dialogues
-
Class org.tweetyproject.agents.dialogues.DialogueTrace
- serialVersionUID:
- 1L
-
Class org.tweetyproject.agents.dialogues.ExecutableFormulaSet
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.dialogues.oppmodels
-
Class org.tweetyproject.agents.dialogues.oppmodels.RecognitionFunction
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.sim
-
Class org.tweetyproject.agents.sim.SimulationParameters
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.arg.aspic.syntax
-
Class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory
class AspicArgumentationTheory extends RuleSet<InferenceRule<T extends Invertable>> implements Serializable- serialVersionUID:
- 6158985937661828210L
-
Serialized Fields
-
order
Comparator<AspicArgument<T extends Invertable>> order
An order over this system's arguments, needed for their defeat relation -
rfgen
RuleFormulaGenerator<T extends Invertable> rfgen
Used to transform ASPIC inference rules into words of the language they range over
-
-
-
Package org.tweetyproject.arg.bipolar.syntax
-
Exception Class org.tweetyproject.arg.bipolar.syntax.CyclicException
class CyclicException extends RuntimeException implements Serializable- serialVersionUID:
- 1L
-
Exception Class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.ElementNotFoundException
class ElementNotFoundException extends RuntimeException implements Serializable -
Exception Class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.NotAnArgumentException
class NotAnArgumentException extends RuntimeException implements Serializable
-
-
Package org.tweetyproject.arg.delp.parser
-
Exception Class org.tweetyproject.arg.delp.parser.ParseException
class ParseException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.tweetyproject.arg.delp.parser.Token
class Token extends Object implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Exception Class org.tweetyproject.arg.delp.parser.TokenMgrError
class TokenMgrError extends Error implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.tweetyproject.arg.dung.divisions
-
Class org.tweetyproject.arg.dung.divisions.Division
- serialVersionUID:
- -4217044135734274436L
-
-
Package org.tweetyproject.arg.lp.syntax
-
Class org.tweetyproject.arg.lp.syntax.Argument
- serialVersionUID:
- 6017406379850600902L
-
-
Package org.tweetyproject.arg.prob.lotteries
-
Class org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction
- serialVersionUID:
- -1506613623345465762L
-
Class org.tweetyproject.arg.prob.lotteries.UtilityFunction
- serialVersionUID:
- -8506619629340455862L
-
-
Package org.tweetyproject.arg.prob.syntax
-
Class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment
- serialVersionUID:
- 7051185602937753358L
-
-
Package org.tweetyproject.beliefdynamics.gui
-
Class org.tweetyproject.beliefdynamics.gui.RevisionCompareView
class RevisionCompareView extends JPanel implements Serializable- serialVersionUID:
- 5699544277473453367L
-
Serialized Fields
-
btnAdd
JButton btnAdd
Button to add a belief base to the list. -
btnDown
JButton btnDown
Button to move an item down in the list of belief bases. -
btnRemove
JButton btnRemove
Button to remove a belief base from the list. -
btnUp
JButton btnUp
Button to move an item up in the list of belief bases. -
cbOperatorLeft
JComboBox<BaseRevisionOperator<?>> cbOperatorLeft
Dropdown for selecting the left-hand side revision operator. -
cbOperatorRight
JComboBox<BaseRevisionOperator<?>> cbOperatorRight
Dropdown for selecting the right-hand side revision operator. -
checkIterativeLeft
JCheckBox checkIterativeLeft
Checkbox to enable/disable iterative revision for the left operator. -
checkIterativeRight
JCheckBox checkIterativeRight
Checkbox to enable/disable iterative revision for the right operator. -
lstBeliefBases
JList<Collection<? extends Formula>> lstBeliefBases
List component to display the belief bases. -
lstModel
DefaultListModel<Collection<? extends Formula>> lstModel
Model for the list of belief bases, storing collections of formulas. -
sliderStep
JSlider sliderStep
Slider to adjust the step size for the revision process. -
txtBeliefBases
JTextArea txtBeliefBases
Text area to display the list of belief bases. -
txtResultLeft
JTextArea txtResultLeft
Text area to display the results of the left-hand side revision operation. -
txtResultRight
JTextArea txtResultRight
Text area to display the results of the right-hand side revision operation.
-
-
-
Package org.tweetyproject.commons
-
Exception Class org.tweetyproject.commons.ParserException
class ParserException extends RuntimeException implements Serializable- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.commons.util
-
Class org.tweetyproject.commons.util.Pair
class Pair extends Object implements Serializable- serialVersionUID:
- -2808138987767965801L
-
-
Package org.tweetyproject.commons.util.rules
-
Class org.tweetyproject.commons.util.rules.Derivation
- serialVersionUID:
- 1L
-
Class org.tweetyproject.commons.util.rules.RuleSet
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.logics.commons.error
-
Exception Class org.tweetyproject.logics.commons.error.LanguageException
class LanguageException extends RuntimeException implements Serializable- serialVersionUID:
- 649864945437272048L
-
-
Package org.tweetyproject.logics.mln.analysis
-
Class org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure
class AbstractCoherenceMeasure extends Object implements Serializable- serialVersionUID:
- 8888349459869328287L
-
Class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure
class AggregatingCoherenceMeasure extends AbstractCoherenceMeasure implements Serializable- serialVersionUID:
- 4162719595968757160L
-
Serialized Fields
-
aggregator
AggregationFunction aggregator
The aggregation function used to aggregate the distances for each formula. -
norm
RealVectorNorm norm
The norm used to measure the difference of the probabilities of each ground instance for a single formula.
-
-
-
Package org.tweetyproject.logics.mln.syntax
-
Class org.tweetyproject.logics.mln.syntax.MarkovLogicNetwork
- serialVersionUID:
- 3313039501304912746L
-
-
Package org.tweetyproject.logics.pl.error
-
Exception Class org.tweetyproject.logics.pl.error.PlException
class PlException extends LanguageException implements Serializable- serialVersionUID:
- 843894579984076905L
-
-
Package org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
-
Exception Class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException
class ParseException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
class Token extends Object implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Exception Class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
class TokenMgrError extends Error implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
-
Exception Class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException
class ParseException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
class Token extends Object implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Exception Class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
class TokenMgrError extends Error implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.tweetyproject.logics.rpcl.semantics
-
Class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment
class InstanceAssignment extends HashMap<Collection<? extends Constant>,Integer> implements Serializable - serialVersionUID:
- 1L
-
Serialized Fields
-
predicate
Predicate predicate
The predicate of this instance assignment.
-
-
-
Package org.tweetyproject.lp.asp.beliefdynamics.baserevision
-
Class org.tweetyproject.lp.asp.beliefdynamics.baserevision.RemainderSets
- serialVersionUID:
- 1L
-
Class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets
- serialVersionUID:
- -9146903242327808522L
-
Serialized Fields
-
-
Package org.tweetyproject.lp.asp.beliefdynamics.gui
-
Class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
class SimpleRevisionCompareView extends JPanel implements Serializable- serialVersionUID:
- 5699544277473453367L
-
Serialized Fields
-
btnAddLeft
JButton btnAddLeft
Button to add the selected revision operator for the left operation.When clicked, this button triggers the addition of the currently selected `BaseRevisionOperator` in `cbOperatorLeft`.
-
btnAddRight
JButton btnAddRight
Button to add the selected revision operator for the right operation.When clicked, this button triggers the addition of the currently selected `BaseRevisionOperator` in `cbOperatorRight`.
-
btnRunRevision
JButton btnRunRevision
Button to execute the revision process.This button initiates the revision process based on the selected operators and inputs provided.
-
cbOperatorLeft
JComboBox<BaseRevisionOperator<?>> cbOperatorLeft
GUI components for managing and displaying revision operations and results.This class contains various Swing components used for selecting revision operators, executing revisions, and displaying results and answer sets.
-
cbOperatorRight
JComboBox<BaseRevisionOperator<?>> cbOperatorRight
ComboBox for selecting the revision operator to be used for the left operation.This component allows users to choose from a list of available `BaseRevisionOperator` instances for the left side of the revision process.
-
lstLeftAnswerSets
JList<AnswerSet> lstLeftAnswerSets
List for displaying answer sets resulting from the left revision operation.This component shows the collection of `AnswerSet` objects resulting from the revision operation performed with the left-side operator.
-
lstRightAnswerSets
JList<AnswerSet> lstRightAnswerSets
List for displaying answer sets resulting from the right revision operation.This component shows the collection of `AnswerSet` objects resulting from the revision operation performed with the right-side operator.
-
txtBeliefBase
JTextArea txtBeliefBase
TextArea for displaying or editing the belief base.This component is used to input or display the current belief base used in the revision operations.
-
txtNewBeliefs
JTextArea txtNewBeliefs
TextArea for displaying or editing new beliefs to be used in the revision.This component is used to input or display new beliefs that will be used to update the belief base.
-
txtResultLeft
JTextArea txtResultLeft
TextArea for displaying the result of the left revision operation.This component is used to show the outcome or results from the revision process executed with the left-side operator.
-
txtResultRight
JTextArea txtResultRight
TextArea for displaying the result of the right revision operation.This component is used to show the outcome or results from the revision process executed with the right-side operator.
-
-
-
Package org.tweetyproject.lp.asp.parser
-
Exception Class org.tweetyproject.lp.asp.parser.ParseException
class ParseException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.tweetyproject.lp.asp.parser.Token
class Token extends Object implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this Token. -
beginLine
int beginLine
The line number of the first character of this Token. -
endColumn
int endColumn
The column number of the last character of this Token. -
endLine
int endLine
The line number of the last character of this Token. -
image
String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This numbering system is determined by JavaCCParser, and a table of these numbers is stored in the file ...Constants.java. -
next
Token next
A reference to the next regular (non-special) token from the input stream. If this is the last token from the input stream, or if the token manager has not read tokens beyond this one, this field is set to null. This is true only if this token is also a regular token. Otherwise, see below for a description of the contents of this field. -
specialToken
Token specialToken
This field is used to access special tokens that occur prior to this token, but after the immediately preceding regular (non-special) token. If there are no such special tokens, this field is set to null. When there are more than one such special token, this field refers to the last of these special tokens, which in turn refers to the next previous special token through its specialToken field, and so on until the first special token (whose specialToken field is null). The next fields of special tokens refer to other special tokens that immediately follow it (without an intervening regular token). If there is no such token, this field is null.
-
-
Exception Class org.tweetyproject.lp.asp.parser.TokenMgrError
class TokenMgrError extends Error implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.tweetyproject.lp.asp.reasoner
-
Exception Class org.tweetyproject.lp.asp.reasoner.SolverException
class SolverException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
solverErrorCode
int solverErrorCode
The error code associated with the exception. -
solverErrorText
String solverErrorText
The textual message associated with the exception.
-
-
-
Package org.tweetyproject.lp.asp.syntax
-
Class org.tweetyproject.lp.asp.syntax.Program
- serialVersionUID:
- -1498770939009078101L
-
Serialized Fields
-
additionalOptions
Set<String> additionalOptions
Can be used to store additional commands for solvers such as #const (Clingo, DLV) and #maxint (DLV). If the program is given to a solver, the commands will be appended to the input file if they are available in the chosen solver's input format. The commands should be in the format "option=value". -
outputPredicateWhitelist
Set<Predicate> outputPredicateWhitelist
Optional field that can be used by some solvers. If used, all atoms will be hidden from the output of the solver except for those with whitelisted predicates. This corresponds to the '#show' statement of the clingo input language. -
query
ASPLiteral query
A single query (optional field).
-
-
-
Package org.tweetyproject.lp.nlp.error
-
Exception Class org.tweetyproject.lp.nlp.error.NestedLogicProgramException
class NestedLogicProgramException extends LanguageException implements Serializable- serialVersionUID:
- 4406781843927755406L
-
-
Package org.tweetyproject.lp.nlp.syntax
-
Class org.tweetyproject.lp.nlp.syntax.NLPProgram
- serialVersionUID:
- 1050122194243070233L
-
-
Package org.tweetyproject.machinelearning
-
Class org.tweetyproject.machinelearning.DefaultObservation
- serialVersionUID:
- -6600763202428596342L
-
Class org.tweetyproject.machinelearning.ParameterSet
- serialVersionUID:
- 1198936758760287517L
-
Class org.tweetyproject.machinelearning.TrainingSet
class TrainingSet extends HashSet<Pair<S extends Observation,T extends Category>> implements Serializable - serialVersionUID:
- 6814079760992723045L
-
-
Package org.tweetyproject.math
-
Class org.tweetyproject.math.ComplexNumber
class ComplexNumber extends Number implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
imagPart
double imagPart
The imaginary part of this complex number. -
realPart
double realPart
The real part of this complex number.
-
-
Exception Class org.tweetyproject.math.GeneralMathException
class GeneralMathException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Exception Class org.tweetyproject.math.NonDifferentiableException
class NonDifferentiableException extends GeneralMathException implements Serializable- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.examples
-
Class org.tweetyproject.math.examples.KnapSack
class KnapSack extends CombinatoricsProblem implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
bestSol
ArrayList<ElementOfCombinatoricsProb> bestSol
holds the best solution -
currSol1
ArrayList<ElementOfCombinatoricsProb> currSol1
holds the current solution -
maxWeight
Term maxWeight
maxWeight -
rand
Random rand
random number
-
-
Class org.tweetyproject.math.examples.TravelingSalesman
class TravelingSalesman extends CombinatoricsProblem implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
bestSol
ArrayList<ElementOfCombinatoricsProb> bestSol
holds the best solution -
currSol
ArrayList<ElementOfCombinatoricsProb> currSol
holds the current solution -
maxWeight
Term maxWeight
maxWeight
-
-
-
Package org.tweetyproject.math.func
-
Class org.tweetyproject.math.func.AverageAggregator
class AverageAggregator extends Object implements Serializable- serialVersionUID:
- -3619001311014631332L
-
Class org.tweetyproject.math.func.MaxAggregator
class MaxAggregator extends Object implements Serializable- serialVersionUID:
- 6006586362664929980L
-
Class org.tweetyproject.math.func.MinAggregator
class MinAggregator extends Object implements Serializable- serialVersionUID:
- -8571729834785975974L
-
Class org.tweetyproject.math.func.ProductAggregator
class ProductAggregator extends Object implements Serializable- serialVersionUID:
- -2717855227084369340L
-
Class org.tweetyproject.math.func.SumAggregator
class SumAggregator extends Object implements Serializable- serialVersionUID:
- -8518226177117879461L
-
-
Package org.tweetyproject.math.norm
-
Class org.tweetyproject.math.norm.AggregatingNorm
class AggregatingNorm extends Object implements Serializable- serialVersionUID:
- 7393475547325748126L
-
Serialized Fields
-
aggregator
AggregationFunction aggregator
The aggregation function used for computing the distance.
-
-
Class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm
class ProbabilisticAggregatingNorm extends Object implements Serializable- serialVersionUID:
- -114048201529519281L
-
Serialized Fields
-
aggregator
AggregationFunction aggregator
The aggregation function used for computing the distance. -
weight
int weight
A parameter for adjusting the aggregation.
-
-
Class org.tweetyproject.math.norm.ProbabilisticPNorm
class ProbabilisticPNorm extends Object implements Serializable- serialVersionUID:
- 3665499615843076323L
-
Serialized Fields
-
c
int c
The parameter of the normalization. -
p
int p
The parameter for the p-norm.
-
-
-
Package org.tweetyproject.math.opt
-
Exception Class org.tweetyproject.math.opt.ProblemInconsistentException
class ProblemInconsistentException extends RuntimeException implements Serializable- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.opt.problem
-
Class org.tweetyproject.math.opt.problem.CombinatoricsProblem
class CombinatoricsProblem extends GeneralConstraintSatisfactionProblem implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
constraints
Collection<Statement> constraints
constraints -
elements
List<ElementOfCombinatoricsProb> elements
elements -
graphRepresantation
int[][] graphRepresantation
an adjacence matrix that is supposed to show which vertices are connected to each other in a graph represantation of the problem
-
-
Class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem
class ConstraintSatisfactionProblem extends GeneralConstraintSatisfactionProblem implements Serializable- serialVersionUID:
- 1L
-
Class org.tweetyproject.math.opt.problem.GeneralConstraintSatisfactionProblem
- serialVersionUID:
- 1L
-
Class org.tweetyproject.math.opt.problem.OptimizationProblem
class OptimizationProblem extends ConstraintSatisfactionProblem implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
penalty
int penalty
penalty for converted absolute values. -
targetFunction
Term targetFunction
The target function of this problem. -
type
int type
The type of the optimization problem.
-
-
Exception Class org.tweetyproject.math.opt.problem.ProblemInconsistentException
class ProblemInconsistentException extends RuntimeException implements Serializable- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.probability
-
Class org.tweetyproject.math.probability.Probability
class Probability extends Number implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
value
Double value
The actual value of the probability.
-
-
-
Package org.tweetyproject.preferences.events
-
Class org.tweetyproject.preferences.events.UpdateEvent
class UpdateEvent extends EventObject implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
result
PreferenceOrder<T> result
the result
-
-
-
Package org.tweetyproject.preferences.io
-
Exception Class org.tweetyproject.preferences.io.ParseException
class ParseException extends Exception implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
currentToken
Token currentToken
This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token followng this token will (therefore) be the first error token. -
eol
String eol
The end of line string for this machine. -
expectedTokenSequences
int[][] expectedTokenSequences
Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse. -
tokenImage
String[] tokenImage
This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
-
-
Class org.tweetyproject.preferences.io.Token
class Token extends Object implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
beginColumn
int beginColumn
The column number of the first character of this token. -
beginLine
int beginLine
The line number of the first character of this token. -
endColumn
int endColumn
The column number of the last character of this token. -
endLine
int endLine
The line number of the last character of this token. -
image
String image
The string image of the token. -
kind
int kind
An integer that describes the kind of this token. This is typically set by the parser. -
next
Token next
A reference to the next regular (non-special) token in the input stream. This field is set to null if this is the last token or if the token manager has not read tokens beyond this one. -
specialToken
Token specialToken
A reference to special tokens that occur before this token but after the immediately preceding regular (non-special) token. Special tokens are used for syntactic sugar and are not part of the main token stream.
-
-
Exception Class org.tweetyproject.preferences.io.TokenMgrError
class TokenMgrError extends Error implements Serializable- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
Indicates the reason why the exception is thrown. It will have one of the above 4 values.
-
-
-
Package org.tweetyproject.preferences.ranking
-
Class org.tweetyproject.preferences.ranking.Functions
- serialVersionUID:
- 1L
-
Class org.tweetyproject.preferences.ranking.LevelingFunction
- serialVersionUID:
- 1L
-
Class org.tweetyproject.preferences.ranking.RankingFunction
- serialVersionUID:
- 1L
-