Serialized Form
-
Package org.tweetyproject.agents
-
Class org.tweetyproject.agents.ProtocolTerminatedException extends Exception implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.dialogues
-
Class org.tweetyproject.agents.dialogues.DialogueTrace extends LinkedList<T extends Collection<S>> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.agents.dialogues.ExecutableFormulaSet extends HashSet<PlFormula> implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.dialogues.oppmodels
-
Class org.tweetyproject.agents.dialogues.oppmodels.RecognitionFunction extends HashMap<Argument,Set<Argument>> implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.agents.sim
-
Class org.tweetyproject.agents.sim.SimulationParameters extends Hashtable<Object,Object> implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.arg.aspic.syntax
-
Class org.tweetyproject.arg.aspic.syntax.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.delp.parser
-
Class org.tweetyproject.arg.delp.parser.ParseException extends Exception implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.arg.delp.parser.Token extends Object implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.arg.delp.parser.TokenMgrError extends Error implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
errorCode
int errorCode
-
-
-
Package org.tweetyproject.arg.dung.divisions
-
Class org.tweetyproject.arg.dung.divisions.Division extends Pair<Extension,Extension> implements Serializable
- serialVersionUID:
- -4217044135734274436L
-
-
Package org.tweetyproject.arg.lp.syntax
-
Class org.tweetyproject.arg.lp.syntax.Argument extends LinkedList<ASPRule> implements Serializable
- serialVersionUID:
- 6017406379850600902L
-
-
Package org.tweetyproject.arg.prob.lotteries
-
Class org.tweetyproject.arg.prob.lotteries.LdoUtilityFunction extends HashMap<LdoFormula,Double> implements Serializable
- serialVersionUID:
- -1506613623345465762L
-
Class org.tweetyproject.arg.prob.lotteries.UtilityFunction extends HashMap<Division,Double> implements Serializable
- serialVersionUID:
- -8506619629340455862L
-
-
Package org.tweetyproject.arg.prob.syntax
-
Class org.tweetyproject.arg.prob.syntax.PartialProbabilityAssignment extends HashMap<Argument,Probability> implements Serializable
- serialVersionUID:
- 7051185602937753358L
-
-
Package org.tweetyproject.beliefdynamics.gui
-
Class org.tweetyproject.beliefdynamics.gui.RevisionCompareView extends JPanel implements Serializable
- serialVersionUID:
- 5699544277473453367L
-
Serialized Fields
-
btnAdd
JButton btnAdd
-
btnDown
JButton btnDown
-
btnRemove
JButton btnRemove
-
btnUp
JButton btnUp
-
cbOperatorLeft
JComboBox<BaseRevisionOperator<?>> cbOperatorLeft
-
cbOperatorRight
JComboBox<BaseRevisionOperator<?>> cbOperatorRight
-
checkIterativeLeft
JCheckBox checkIterativeLeft
-
checkIterativeRight
JCheckBox checkIterativeRight
-
lstBeliefBases
JList<Collection<? extends Formula>> lstBeliefBases
-
lstModel
DefaultListModel<Collection<? extends Formula>> lstModel
-
sliderStep
JSlider sliderStep
-
txtBeliefBases
JTextArea txtBeliefBases
-
txtResultLeft
JTextArea txtResultLeft
-
txtResultRight
JTextArea txtResultRight
-
-
-
Package org.tweetyproject.commons
-
Class org.tweetyproject.commons.ParserException extends RuntimeException implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.commons.util
-
Class org.tweetyproject.commons.util.Pair extends Object implements Serializable
- serialVersionUID:
- -2808138987767965801L
-
-
Package org.tweetyproject.commons.util.rules
-
Class org.tweetyproject.commons.util.rules.Derivation extends ArrayList<T extends Rule<?,?>> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.commons.util.rules.RuleSet extends HashSet<T extends Rule<?,?>> implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.logics.commons.error
-
Class org.tweetyproject.logics.commons.error.LanguageException extends RuntimeException implements Serializable
- serialVersionUID:
- 649864945437272048L
-
-
Package org.tweetyproject.logics.mln.analysis
-
Class org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure extends Object implements Serializable
- serialVersionUID:
- 8888349459869328287L
-
Class org.tweetyproject.logics.mln.analysis.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 extends BeliefSet<MlnFormula,FolSignature> implements Serializable
- serialVersionUID:
- 3313039501304912746L
-
-
Package org.tweetyproject.logics.pl.error
-
Class org.tweetyproject.logics.pl.error.PlException extends LanguageException implements Serializable
- serialVersionUID:
- 843894579984076905L
-
-
Package org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
-
Class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.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 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.
-
-
Class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.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
-
Class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.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 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.
-
-
Class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.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 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 extends HashSet<Collection<T extends Formula>> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets extends RemainderSets<ASPRule> implements Serializable
- serialVersionUID:
- -9146903242327808522L
-
-
Package org.tweetyproject.lp.asp.beliefdynamics.gui
-
Class org.tweetyproject.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView extends JPanel implements Serializable
- serialVersionUID:
- 5699544277473453367L
-
Serialized Fields
-
btnAddLeft
JButton btnAddLeft
-
btnAddRight
JButton btnAddRight
-
btnRunRevision
JButton btnRunRevision
-
cbOperatorLeft
JComboBox<BaseRevisionOperator<?>> cbOperatorLeft
-
cbOperatorRight
JComboBox<BaseRevisionOperator<?>> cbOperatorRight
-
lstLeftAnswerSets
JList<AnswerSet> lstLeftAnswerSets
-
lstRightAnswerSets
JList<AnswerSet> lstRightAnswerSets
-
txtBeliefBase
JTextArea txtBeliefBase
-
txtNewBeliefs
JTextArea txtNewBeliefs
-
txtResultLeft
JTextArea txtResultLeft
-
txtResultRight
JTextArea txtResultRight
-
-
-
Package org.tweetyproject.lp.asp.parser
-
Class org.tweetyproject.lp.asp.parser.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 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.
-
-
Class org.tweetyproject.lp.asp.parser.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
-
Class org.tweetyproject.lp.asp.reasoner.SolverException extends Exception implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
solverErrorCode
int solverErrorCode
-
solverErrorText
String solverErrorText
-
-
-
Package org.tweetyproject.lp.asp.syntax
-
Class org.tweetyproject.lp.asp.syntax.Program extends RuleSet<ASPRule> implements Serializable
- 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
-
Class org.tweetyproject.lp.nlp.error.NestedLogicProgramException extends LanguageException implements Serializable
- serialVersionUID:
- 4406781843927755406L
-
-
Package org.tweetyproject.lp.nlp.syntax
-
Class org.tweetyproject.lp.nlp.syntax.NLPProgram extends RuleSet<NLPRule> implements Serializable
- serialVersionUID:
- 1050122194243070233L
-
-
Package org.tweetyproject.machinelearning
-
Class org.tweetyproject.machinelearning.DefaultObservation extends Vector<Double> implements Serializable
- serialVersionUID:
- -6600763202428596342L
-
Class org.tweetyproject.machinelearning.ParameterSet extends ArrayList<TrainingParameter> implements Serializable
- serialVersionUID:
- 1198936758760287517L
-
Class org.tweetyproject.machinelearning.TrainingSet extends HashSet<Pair<S extends Observation,T extends Category>> implements Serializable
- serialVersionUID:
- 6814079760992723045L
-
-
Package org.tweetyproject.math
-
Class org.tweetyproject.math.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.
-
-
Class org.tweetyproject.math.GeneralMathException extends Exception implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.math.NonDifferentiableException extends GeneralMathException implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.examples
-
Class org.tweetyproject.math.examples.KnapSack extends CombinatoricsProblem implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
bestSol
ArrayList<ElementOfCombinatoricsProb> bestSol
-
currSol1
ArrayList<ElementOfCombinatoricsProb> currSol1
-
maxWeight
Term maxWeight
-
rand
Random rand
random number
-
-
Class org.tweetyproject.math.examples.TravelingSalesman extends CombinatoricsProblem implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
bestSol
ArrayList<ElementOfCombinatoricsProb> bestSol
-
currSol
ArrayList<ElementOfCombinatoricsProb> currSol
-
maxWeight
Term maxWeight
-
-
-
Package org.tweetyproject.math.func
-
Class org.tweetyproject.math.func.AverageAggregator extends Object implements Serializable
- serialVersionUID:
- -3619001311014631332L
-
Class org.tweetyproject.math.func.MaxAggregator extends Object implements Serializable
- serialVersionUID:
- 6006586362664929980L
-
Class org.tweetyproject.math.func.MinAggregator extends Object implements Serializable
- serialVersionUID:
- -8571729834785975974L
-
Class org.tweetyproject.math.func.ProductAggregator extends Object implements Serializable
- serialVersionUID:
- -2717855227084369340L
-
Class org.tweetyproject.math.func.SumAggregator extends Object implements Serializable
- serialVersionUID:
- -8518226177117879461L
-
-
Package org.tweetyproject.math.norm
-
Class org.tweetyproject.math.norm.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 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 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
-
Class org.tweetyproject.math.opt.ProblemInconsistentException extends RuntimeException implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.opt.problem
-
Class org.tweetyproject.math.opt.problem.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 extends GeneralConstraintSatisfactionProblem implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.math.opt.problem.GeneralConstraintSatisfactionProblem extends HashSet<OptProbElement> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.math.opt.problem.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.
-
-
Class org.tweetyproject.math.opt.problem.ProblemInconsistentException extends RuntimeException implements Serializable
- serialVersionUID:
- 1L
-
-
Package org.tweetyproject.math.probability
-
Class org.tweetyproject.math.probability.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 extends EventObject implements Serializable
- serialVersionUID:
- 1L
-
Serialized Fields
-
result
PreferenceOrder<T> result
-
-
-
Package org.tweetyproject.preferences.io
-
Class org.tweetyproject.preferences.io.ParseException extends Exception implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.preferences.io.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.
-
-
Class org.tweetyproject.preferences.io.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 extends HashMap<T,Integer> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.preferences.ranking.LevelingFunction extends Functions<T> implements Serializable
- serialVersionUID:
- 1L
-
Class org.tweetyproject.preferences.ranking.RankingFunction extends Functions<T> implements Serializable
- serialVersionUID:
- 1L
-