Constant Field Values
Contents
net.sf.*
-
net.sf.tweety.agents.MultiAgentSystem<T extends Agent> Modifier and Type Constant Field Value public static final int
EXECUTE_TILL_TERMINATION
-1
-
net.sf.tweety.agents.ProtocolTerminatedException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.agents.SynchronousProtocol Modifier and Type Constant Field Value public static final int
UNLIMITED_EXECUTION
-1
-
net.sf.tweety.agents.dialogues.DialogueTrace<S,T extends java.util.Collection<S>> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.agents.dialogues.ExecutableFormulaSet Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent Modifier and Type Constant Field Value public static final byte
UPDATE_NAIVE
1
public static final byte
UPDATE_ROUGH
4
public static final byte
UPDATE_SIMPLE
2
public static final byte
UPDATE_STICKY
3
-
net.sf.tweety.agents.dialogues.lotteries.sim.LotteryGameGenerator Modifier and Type Constant Field Value public static final int
PARAM_ARGUMENT
1
public static final int
PARAM_DUMMY_THEORY
2
public static final int
PARAM_LOT_PROB
3
public static final int
PARAM_LOT_UTIL
4
public static final int
PARAM_SEM
5
public static final int
PARAM_UNIVERSALTHEORY
0
-
net.sf.tweety.agents.dialogues.oppmodels.RecognitionFunction Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameGenerator Modifier and Type Constant Field Value public static final int
PARAM_ARGUMENT
1
public static final int
PARAM_UNIVERSALTHEORY
0
-
net.sf.tweety.agents.sim.SimulationParameters Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.arg.adf.parser.KPPADFFormatParser Modifier and Type Constant Field Value private static final int
BUFFER_CAPACITY
8192
-
net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
2000
-
net.sf.tweety.arg.adf.semantics.test.LinkTypeTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
2000
-
net.sf.tweety.arg.adf.util.TestUtil Modifier and Type Constant Field Value public static final java.lang.String
DEFAULT_SOLUTION_EXTENSION
"solutions"
-
net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory<T extends Invertable> Modifier and Type Constant Field Value private static final long
serialVersionUID
6158985937661828210L
-
net.sf.tweety.arg.delp.TestArguments Modifier and Type Constant Field Value static final java.lang.String
STR_TINA_FLIES1
"<{Flies(tina) -< Bird(tina).},Flies(tina)>"
static final java.lang.String
STR_TINA_FLIES2
"<{Flies(tina) -< Chicken(tina),Scared(tina).},Flies(tina)>"
static final java.lang.String
STR_TINA_NESTS
"<{Flies(tina) -< Bird(tina).,Nests_in_trees(tina) -< Flies(tina).},Nests_in_trees(tina)>"
static final java.lang.String
STR_TINA_NOT_FLIES
"<{!Flies(tina) -< Chicken(tina).},!Flies(tina)>"
-
net.sf.tweety.arg.delp.parser.DelpParserConstants Modifier and Type Constant Field Value public static final int
DEFAULT
0
public static final int
EOF
0
public static final int
NAME
6
public static final int
QUOTED
7
-
net.sf.tweety.arg.delp.parser.ParseException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.arg.delp.parser.SimpleCharStream Modifier and Type Constant Field Value public static final boolean
staticFlag
false
-
net.sf.tweety.arg.delp.parser.Token Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.arg.delp.parser.TokenMgrError Modifier and Type Constant Field Value static final int
INVALID_LEXICAL_STATE
2
static final int
LEXICAL_ERROR
0
static final int
LOOP_DETECTED
3
private static final long
serialVersionUID
1L
static final int
STATIC_LEXER_ERROR
1
-
net.sf.tweety.arg.dung.divisions.Division Modifier and Type Constant Field Value private static final long
serialVersionUID
-4217044135734274436L
-
net.sf.tweety.arg.lp.syntax.Argument Modifier and Type Constant Field Value private static final long
serialVersionUID
6017406379850600902L
-
net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator Modifier and Type Constant Field Value protected static final long
FIRST_OPTIMIZATION_WEIGHT
1000L
-
net.sf.tweety.arg.prob.lotteries.LdoUtilityFunction Modifier and Type Constant Field Value private static final long
serialVersionUID
-1506613623345465762L
-
net.sf.tweety.arg.prob.lotteries.UtilityFunction Modifier and Type Constant Field Value private static final long
serialVersionUID
-8506619629340455862L
-
net.sf.tweety.arg.prob.syntax.PartialProbabilityAssignment Modifier and Type Constant Field Value private static final long
serialVersionUID
7051185602937753358L
-
net.sf.tweety.beliefdynamics.gui.RevisionCompareView Modifier and Type Constant Field Value private static final long
serialVersionUID
5699544277473453367L
-
net.sf.tweety.cli.TweetyCli Modifier and Type Constant Field Value public static final java.lang.String
ARG__INPUT_FILES
"--input"
public static final java.lang.String
ARG__INPUT_FILES_SHORT
"-i"
public static final java.lang.String
ARG__INPUT_PARSER
"--parser"
public static final java.lang.String
ARG__INPUT_PARSER_SHORT
"-p"
public static final java.lang.String
ARG__LOG_FILE
"--logfile"
public static final java.lang.String
ARG__LOG_FILE_SHORT
"-lf"
public static final java.lang.String
ARG__LOG_LEVEL
"--log"
public static final java.lang.String
ARG__LOG_LEVEL_SHORT
"-l"
public static final java.lang.String
ARG__OPTIONS
"--options"
public static final java.lang.String
ARG__OPTIONS_SHORT
"-op"
public static final java.lang.String
ARG__OUTPUT_FILE
"--output"
public static final java.lang.String
ARG__OUTPUT_FILE_SHORT
"-o"
public static final java.lang.String
ARG__OUTPUT_WRITER
"--writer"
public static final java.lang.String
ARG__OUTPUT_WRITER_SHORT
"-w"
public static final java.lang.String
ARG__QUERY
"--query"
public static final java.lang.String
ARG__QUERY_SHORT
"-q"
-
net.sf.tweety.cli.plugins.CliMain Modifier and Type Constant Field Value public static final java.lang.String
ARG__CALLED_PLUGIN
"--plugin"
public static final java.lang.String
ARG__CALLED_PLUGIN_SHORT
"-p"
public static final java.lang.String
ARG__DEBUG_FLAG
"--debug"
public static final java.lang.String
ARG__DEBUG_FLAG_SHORT
"-d"
public static final java.lang.String
ARG__INPUT_FILES
"--input"
public static final java.lang.String
ARG__INPUT_FILES_SHORT
"-i"
public static final java.lang.String
ARG__OUTPUT_FILE
"--output"
public static final java.lang.String
ARG__OUTPUT_FILE_SHORT
"-o"
public static final java.lang.String
HELPTEXT
"help.txt"
public static final java.lang.String
TWEETY_CLI_DEFAULT_CONFIG
"tweety_config.xml"
-
net.sf.tweety.commons.BeliefSetSampler<T extends Formula,U extends BeliefSet<T,?>> Modifier and Type Constant Field Value public static final int
DEFAULT_MAXIMUM_BELIEFBASE_LENGTH
20
public static final int
DEFAULT_MINIMUM_BELIEFBASE_LENGTH
15
-
net.sf.tweety.commons.FormulaSampler<T extends Formula> Modifier and Type Constant Field Value public static final int
DEFAULT_MAXIMAL_FORMULA_LENGTH
2
-
net.sf.tweety.commons.ParserException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.commons.util.Pair<E,F> Modifier and Type Constant Field Value private static final long
serialVersionUID
-2808138987767965801L
-
net.sf.tweety.commons.util.rules.Derivation<T extends Rule<?,?>> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.commons.util.rules.RuleSet<T extends Rule<?,?>> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.graphs.Graph<T extends Node> Modifier and Type Constant Field Value public static final int
IGNORE_SELFLOOPS
1
public static final int
INVERT_SELFLOOPS
2
public static final int
REMOVE_SELFLOOPS
3
-
net.sf.tweety.logics.commons.analysis.InconsistencyMeasure<T extends BeliefBase> Modifier and Type Constant Field Value public static final double
MEASURE_TOLERANCE
0.005
-
net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S extends Formula> Modifier and Type Constant Field Value public static final java.lang.String
CONFIG_TIMEOUT
"config_timeout"
-
net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S extends Formula> Modifier and Type Constant Field Value public static final java.lang.String
CONFIG_AGGREGATIONFUNCTION
"config_aggregationfunction"
public static final java.lang.String
CONFIG_MEASURE
"config_measure"
public static final java.lang.String
CONFIG_NAME
"config_name"
public static final java.lang.String
CONFIG_WINDOWSIZE
"config_windowsize"
-
net.sf.tweety.logics.commons.error.LanguageException Modifier and Type Constant Field Value private static final long
serialVersionUID
649864945437272048L
-
net.sf.tweety.logics.dl.test.DlParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
3000
-
net.sf.tweety.logics.dl.test.DlReasonerTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
10000
-
net.sf.tweety.logics.fol.plugin.FirstOrderLogicPlugin Modifier and Type Constant Field Value private static final java.lang.String
FOLOGIC__CALL_PARAMETER
"fol"
private static final java.lang.String
FOLOGIC__QUERY_DESCRIPTION
"-query <formula>, one or more queries to be checked against knowledge base"
private static final java.lang.String
FOLOGIC__QUERY_IDENTIFIER
"-query"
private static final java.lang.String
FOLOGIC__REASONER_DESCRIPTION
"-reasoner <solver>, use given solver with query"
private static final java.lang.String
FOLOGIC__REASONER_IDENTIFIER
"-reasoner"
-
net.sf.tweety.logics.fol.test.FolParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
5000
-
net.sf.tweety.logics.ml.MleanCoPTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
10000
-
net.sf.tweety.logics.ml.MlParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
5000
-
net.sf.tweety.logics.ml.MlReasonerTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
10000
-
net.sf.tweety.logics.ml.SPASSTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
10000
-
net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure Modifier and Type Constant Field Value private static final long
serialVersionUID
8888349459869328287L
-
net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure Modifier and Type Constant Field Value private static final long
serialVersionUID
4162719595968757160L
-
net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork Modifier and Type Constant Field Value private static final long
serialVersionUID
3313039501304912746L
-
net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop Modifier and Type Constant Field Value public static final int
MAX_ITERATIONS
10000000
public static final double
PRECISION
1.0E-7
-
net.sf.tweety.logics.pcl.analysis.BalancedMachineShop Modifier and Type Constant Field Value public static final double
PRECISIONCULP
0.01
public static final double
PRECISIONOPT
0.002
-
net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop Modifier and Type Constant Field Value public static final double
MIN_STEP_LENGTH
1.0E-10
public static final double
STEP_LENGTH
1.0
-
net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner Modifier and Type Constant Field Value public static final int
EUCLIDEAN
2
public static final int
MANHATTAN
1
public static final int
MAXIMUM
0
-
net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess Modifier and Type Constant Field Value public static final java.lang.String
CONFIG_KEY_NUMBEROFPOPULATIONS
"numberOfPopulations"
public static final java.lang.String
CONFIG_KEY_SIGNATURE
"signature"
public static final java.lang.String
CONFIG_KEY_WITNESSPROVIDER
"witnessProvider"
public static final java.lang.String
CONFIG_SMOOTHINGFACTOR
"config_smoothingfactor"
-
net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure Modifier and Type Constant Field Value public static final byte
SUMFUZZY_MEASURE
1
public static final byte
TFUZZY_MEASURE
0
-
net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess Modifier and Type Constant Field Value public static final java.lang.String
CONFIG_KEY_NUMBEROFPOPULATIONS
"numberOfPopulations"
public static final java.lang.String
CONFIG_KEY_SIGNATURE
"signature"
public static final java.lang.String
CONFIG_SMOOTHINGFACTOR
"config_smoothingfactor"
-
net.sf.tweety.logics.pl.error.PlException Modifier and Type Constant Field Value private static final long
serialVersionUID
843894579984076905L
-
net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample Modifier and Type Constant Field Value public static final java.lang.String
BELIEFSET_PATH
"/home/mthimm/strinc/beliefsets.txt"
public static final double
CNF_RATIO
0.125
public static final int
NUMBER_OF_ITERATIONS
100
public static final java.lang.String
RESULT_PATH
"/home/mthimm/strinc"
public static final int
SIGNATURE_SIZE
60
public static final int
SIZE_OF_KNOWLEDGEBASES
5000
public static final int
STANDARD_EVENTS
1000000
public static final double
STANDARD_SMOOTHING_FACTOR
0.75
public static final long
TIMEOUT
-1L
public static final java.lang.String
TMP_FILE_FOLDER
"/home/mthimm/strinc/tmp"
-
net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2 Modifier and Type Constant Field Value public static final java.lang.String
BELIEFSET_PATH
"/Users/mthimm/Desktop/beliefsets.txt"
public static final double
CNF_RATIO
0.125
public static final int
NUMBER_OF_ITERATIONS
100
public static final java.lang.String
RESULT_PATH
"/Users/mthimm/Desktop"
public static final int
SIGNATURE_SIZE
60
public static final int
SIZE_OF_KNOWLEDGEBASES
5000
public static final int
STANDARD_EVENTS
10000
public static final long
TIMEOUT
-1L
public static final java.lang.String
TMP_FILE_FOLDER
"/Users/mthimm/Desktop/tmp"
-
net.sf.tweety.logics.pl.plugin.PlPlugin Modifier and Type Constant Field Value private static final java.lang.String
PROPLOGIC__CALL_PARAMETER
"pl"
private static final java.lang.String
PROPLOGIC__QUERY_DESCRIPTION
"-query <formula>, check whether result satisfies query. Please note: with multiple queries EACH MUST be surrounded by \" \" and separated with a single blank between."
private static final java.lang.String
PROPLOGIC__QUERY_IDENTIFIER
"-query"
private static final java.lang.String
PROPLOGIC__REASONER_DESCRIPTION
"-reasoner <solver>, use given solver (as String)"
private static final java.lang.String
PROPLOGIC__REASONER_IDENTIFIER
"-reasoner"
-
net.sf.tweety.logics.pl.sat.Sat4jSolver Modifier and Type Constant Field Value private static final int
MAXVAR
1000000
private static final int
NBCLAUSES
500000
-
net.sf.tweety.logics.pl.test.PlParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
2000
-
net.sf.tweety.logics.pl.util.SyntacticRandomSampler Modifier and Type Constant Field Value private static final byte
CONJ
1
private static final byte
DISJ
2
private static final byte
NEG
0
private static final byte
PROP
3
-
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants Modifier and Type Constant Field Value public static final int
DEFAULT
0
public static final int
EOF
0
public static final int
MULTIPLICATOR
6
public static final int
PROBABILITY
7
public static final int
STRUCTURENAME
5
-
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream Modifier and Type Constant Field Value public static final boolean
staticFlag
true
-
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError Modifier and Type Constant Field Value static final int
INVALID_LEXICAL_STATE
2
static final int
LEXICAL_ERROR
0
static final int
LOOP_DETECTED
3
private static final long
serialVersionUID
1L
static final int
STATIC_LEXER_ERROR
1
-
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants Modifier and Type Constant Field Value public static final int
DEFAULT
0
public static final int
EOF
0
public static final int
PROBABILITY
6
public static final int
STRUCTURENAME
5
-
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream Modifier and Type Constant Field Value public static final boolean
staticFlag
true
-
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError Modifier and Type Constant Field Value static final int
INVALID_LEXICAL_STATE
2
static final int
LEXICAL_ERROR
0
static final int
LOOP_DETECTED
3
private static final long
serialVersionUID
1L
static final int
STATIC_LEXER_ERROR
1
-
net.sf.tweety.logics.rpcl.plugin.RPCLPlugin Modifier and Type Constant Field Value private static final java.lang.String
RPCLOGIC__CALL_PARAMETER
"rpcl"
private static final java.lang.String
RPCLOGIC__INFERENCE_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__INFERENCE_IDENTIFIER
"-inference"
private static final java.lang.String
RPCLOGIC__INPROB_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__INPROB_IDENTIFIER
"-ip"
private static final java.lang.String
RPCLOGIC__OUTPUT_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__OUTPUT_IDENTIFIER
"-o"
private static final java.lang.String
RPCLOGIC__PARSER_DESCRIPTION
"-parser <parser>, parser used to parse input files"
private static final java.lang.String
RPCLOGIC__PARSER_IDENTIFIER
"-parser"
private static final java.lang.String
RPCLOGIC__PROBOUT_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__PROBOUT_IDENTIFIER
"-po"
private static final java.lang.String
RPCLOGIC__QUERY_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__QUERY_IDENTIFIER
"-query"
private static final java.lang.String
RPCLOGIC__SEMANTICS_DESCRIPTION
""
private static final java.lang.String
RPCLOGIC__SEMANTICS_IDENTIFIER
"-semantics"
-
net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner Modifier and Type Constant Field Value public static final int
LIFTED_INFERENCE
2
public static final int
STANDARD_INFERENCE
1
-
net.sf.tweety.logics.rpcl.semantics.InstanceAssignment Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.logics.translators.Translator Modifier and Type Constant Field Value public static final int
TT_ASSOC
-3
public static final int
TT_ATOM
-2
public static final int
TT_PREDICATE
-1
public static final int
TT_RULE
-4
-
net.sf.tweety.logics.translators.aspfol.AspFolTranslator Modifier and Type Constant Field Value public static final int
TT_NEGATION
1
-
net.sf.tweety.lp.asp.beliefdynamics.baserevision.RemainderSets<T extends Formula> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets Modifier and Type Constant Field Value private static final long
serialVersionUID
-9146903242327808522L
-
net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView Modifier and Type Constant Field Value private static final long
serialVersionUID
5699544277473453367L
-
net.sf.tweety.lp.asp.parser.ASPCore2Constants Modifier and Type Constant Field Value public static final int
AGGREGATE_COUNT
38
public static final int
AGGREGATE_MAX
39
public static final int
AGGREGATE_MIN
40
public static final int
AGGREGATE_SUM
41
public static final int
ANONYMOUS_VARIABLE
12
public static final int
AT
25
public static final int
COLON
16
public static final int
COMMA
14
public static final int
COMMENT
5
public static final int
CONS
19
public static final int
CURLY_CLOSE
31
public static final int
CURLY_OPEN
30
public static final int
DEFAULT
0
public static final int
DIV
24
public static final int
DOT
13
public static final int
EOF
0
public static final int
EQUAL
32
public static final int
GREATER
35
public static final int
GREATER_OR_EQ
37
public static final int
ID
8
public static final int
LESS
34
public static final int
LESS_OR_EQ
36
public static final int
MAXIMIZE
43
public static final int
MINIMIZE
42
public static final int
MINUS
22
public static final int
MULTI_LINE_COMMENT
6
public static final int
NAF
7
public static final int
NUMBER
11
public static final int
OR
18
public static final int
PAREN_CLOSE
27
public static final int
PAREN_OPEN
26
public static final int
PLUS
21
public static final int
QUERY_MARK
15
public static final int
SEMICOLON
17
public static final int
SQUARE_CLOSE
29
public static final int
SQUARE_OPEN
28
public static final int
STRING
10
public static final int
TIMES
23
public static final int
UNEQUAL
33
public static final int
VARIABLE
9
public static final int
WCONS
20
-
net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants Modifier and Type Constant Field Value public static final int
AGGREGATE_COUNT
38
public static final int
AGGREGATE_MAX
41
public static final int
AGGREGATE_MIN
42
public static final int
AGGREGATE_SUM
43
public static final int
ANONYMOUS_VARIABLE
12
public static final int
AT
25
public static final int
CLINGO_SHOW
44
public static final int
COLON
16
public static final int
COMMA
14
public static final int
COMMENT
5
public static final int
CONS
19
public static final int
CURLY_CLOSE
31
public static final int
CURLY_OPEN
30
public static final int
DEFAULT
0
public static final int
DIV
24
public static final int
DOT
13
public static final int
EOF
0
public static final int
EQUAL
32
public static final int
GREATER
35
public static final int
GREATER_OR_EQ
37
public static final int
ID
8
public static final int
LESS
34
public static final int
LESS_OR_EQ
36
public static final int
MAXIMIZE
40
public static final int
MINIMIZE
39
public static final int
MINUS
22
public static final int
MULTI_LINE_COMMENT
6
public static final int
NAF
7
public static final int
NUMBER
11
public static final int
OR
18
public static final int
PAREN_CLOSE
27
public static final int
PAREN_OPEN
26
public static final int
PLUS
21
public static final int
QUERY_MARK
15
public static final int
SEMICOLON
17
public static final int
SQUARE_CLOSE
29
public static final int
SQUARE_OPEN
28
public static final int
STRING
10
public static final int
TIMES
23
public static final int
UNEQUAL
33
public static final int
VARIABLE
9
public static final int
WCONS
20
-
net.sf.tweety.lp.asp.parser.ASPCore2ParserTest Modifier and Type Constant Field Value public static final int
DEFAULT_TIMEOUT
5000
-
net.sf.tweety.lp.asp.parser.ASPCore2ParserTreeConstants Modifier and Type Constant Field Value public static final int
JJTAGGREGATE
12
public static final int
JJTAGGRELEMENT
14
public static final int
JJTAGGRELEMENTLIST
13
public static final int
JJTAGGRFUNC
15
public static final int
JJTANSWERSET
0
public static final int
JJTARITERM
29
public static final int
JJTARITHOP
30
public static final int
JJTBINOP
26
public static final int
JJTBODY
7
public static final int
JJTBODYLIST
6
public static final int
JJTBUILTINATOM
25
public static final int
JJTCHOICE
9
public static final int
JJTCHOICEELEMENT
11
public static final int
JJTCHOICEELEMENTLIST
10
public static final int
JJTCLINGOMETA
16
public static final int
JJTHEAD
5
public static final int
JJTHEADELEMENTSLIST
8
public static final int
JJTID
33
public static final int
JJTLITERAL
24
public static final int
JJTNAFLITERAL
23
public static final int
JJTNAFLITERALLIST
22
public static final int
JJTNUMBER
31
public static final int
JJTOPT
17
public static final int
JJTOPTELEMENT
19
public static final int
JJTOPTELEMENTLIST
18
public static final int
JJTOPTFUNC
20
public static final int
JJTPROGRAM
1
public static final int
JJTQUERY
3
public static final int
JJTRULE
4
public static final int
JJTRULELIST
2
public static final int
JJTSTRING
34
public static final int
JJTTERM
28
public static final int
JJTTERMLIST
27
public static final int
JJTVAR
32
public static final int
JJTWEIGHT
21
-
net.sf.tweety.lp.asp.parser.ParseException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.lp.asp.parser.SimpleCharStream Modifier and Type Constant Field Value public static final boolean
staticFlag
false
-
net.sf.tweety.lp.asp.parser.Token Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.lp.asp.parser.TokenMgrError Modifier and Type Constant Field Value static final int
INVALID_LEXICAL_STATE
2
static final int
LEXICAL_ERROR
0
static final int
LOOP_DETECTED
3
private static final long
serialVersionUID
1L
static final int
STATIC_LEXER_ERROR
1
-
net.sf.tweety.lp.asp.reasoner.SolverException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.lp.asp.syntax.Program Modifier and Type Constant Field Value private static final long
serialVersionUID
-1498770939009078101L
-
net.sf.tweety.lp.nlp.error.NestedLogicProgramException Modifier and Type Constant Field Value private static final long
serialVersionUID
4406781843927755406L
-
net.sf.tweety.lp.nlp.syntax.NLPProgram Modifier and Type Constant Field Value private static final long
serialVersionUID
1050122194243070233L
-
net.sf.tweety.machinelearning.DefaultObservation Modifier and Type Constant Field Value private static final long
serialVersionUID
-6600763202428596342L
-
net.sf.tweety.machinelearning.ParameterSet Modifier and Type Constant Field Value private static final long
serialVersionUID
1198936758760287517L
-
net.sf.tweety.machinelearning.TrainingSet<S extends Observation,T extends Category> Modifier and Type Constant Field Value private static final long
serialVersionUID
6814079760992723045L
-
net.sf.tweety.math.ComplexNumber Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.math.GeneralMathException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.math.NonDifferentiableException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.math.equation.Inequation Modifier and Type Constant Field Value public static final int
GREATER
2
public static final int
GREATER_EQUAL
3
public static final int
LESS
0
public static final int
LESS_EQUAL
1
public static final int
UNEQUAL
4
-
net.sf.tweety.math.func.AverageAggregator Modifier and Type Constant Field Value private static final long
serialVersionUID
-3619001311014631332L
-
net.sf.tweety.math.func.MaxAggregator Modifier and Type Constant Field Value private static final long
serialVersionUID
6006586362664929980L
-
net.sf.tweety.math.func.MinAggregator Modifier and Type Constant Field Value private static final long
serialVersionUID
-8571729834785975974L
-
net.sf.tweety.math.func.ProductAggregator Modifier and Type Constant Field Value private static final long
serialVersionUID
-2717855227084369340L
-
net.sf.tweety.math.func.SumAggregator Modifier and Type Constant Field Value private static final long
serialVersionUID
-8518226177117879461L
-
net.sf.tweety.math.norm.AggregatingNorm Modifier and Type Constant Field Value private static final long
serialVersionUID
7393475547325748126L
-
net.sf.tweety.math.norm.ProbabilisticAggregatingNorm Modifier and Type Constant Field Value private static final long
serialVersionUID
-114048201529519281L
-
net.sf.tweety.math.norm.ProbabilisticPNorm Modifier and Type Constant Field Value private static final long
serialVersionUID
3665499615843076323L
-
net.sf.tweety.math.opt.ConstraintSatisfactionProblem Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.math.opt.NewtonRootFinder Modifier and Type Constant Field Value public static final int
MAX_FIX_ITERATIONS
100
public static final double
PRECISION
1.0E-5
-
net.sf.tweety.math.opt.OptimizationProblem Modifier and Type Constant Field Value public static final double
EPSILON
0.1
public static final int
MAXIMIZE
1
public static final int
MINIMIZE
0
private static final long
serialVersionUID
1L
private static final int
STANDARD_PENALTY
100
-
net.sf.tweety.math.opt.ProblemInconsistentException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.math.opt.solver.BfgsSolver Modifier and Type Constant Field Value private static final double
PRECISION
1.0E-18
-
net.sf.tweety.math.opt.solver.GradientDescent Modifier and Type Constant Field Value private static final double
MAX_STEP_LENGTH
0.01
private static final double
MIN_STEP_LENGTH
1.0E-22
-
net.sf.tweety.math.opt.solver.HessianGradientDescent Modifier and Type Constant Field Value private static final double
PRECISION
1.0E-5
-
net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver Modifier and Type Constant Field Value private static final double
VAR_CROSSOVER_PROB
0.2
private static final double
VAR_MUTATE_PROB
0.2
private static final double
VAR_MUTATE_STRENGTH
0.5
-
net.sf.tweety.math.probability.Probability Modifier and Type Constant Field Value public static final double
PRECISION
0.01
private static final long
serialVersionUID
1L
-
net.sf.tweety.math.term.Maximum Modifier and Type Constant Field Value private static final java.lang.String
MAXIMUM_STRING_REPRESENTATION
"max"
-
net.sf.tweety.math.term.Minimum Modifier and Type Constant Field Value private static final java.lang.String
MINIMUM_STRING_REPRESENTATION
"min"
-
net.sf.tweety.preferences.events.UpdateEvent<T> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.preferences.io.ParseException Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.preferences.io.POParserConstants Modifier and Type Constant Field Value public static final int
DEFAULT
0
public static final int
ELEMENT
4
public static final int
EOF
0
public static final int
EOL
6
public static final int
LBRA
2
public static final int
RBRA
3
public static final int
REL
5
-
net.sf.tweety.preferences.io.SimpleCharStream Modifier and Type Constant Field Value public static final boolean
staticFlag
false
-
net.sf.tweety.preferences.io.Token Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.preferences.io.TokenMgrError Modifier and Type Constant Field Value static final int
INVALID_LEXICAL_STATE
2
static final int
LEXICAL_ERROR
0
static final int
LOOP_DETECTED
3
private static final long
serialVersionUID
1L
static final int
STATIC_LEXER_ERROR
1
-
net.sf.tweety.preferences.io.UPParserConstants Modifier and Type Constant Field Value public static final int
DEFAULT
0
public static final int
ELEMENT
6
public static final int
EOF
0
public static final int
EOL
7
public static final int
INDEX
4
public static final int
LBRA
2
public static final int
OPERATION
5
public static final int
RBRA
3
-
net.sf.tweety.preferences.plugin.PreferencesPlugin Modifier and Type Constant Field Value private static final java.lang.String
PREF__AGGR_DESCRIPTION
"-aggr <rule>, preference aggregation command with <rule>={plurality, veto, borda}"
private static final java.lang.String
PREF__AGGR_IDENTIFIER
"-aggr"
private static final java.lang.String
PREF__CALL_PARAMETER
"pref"
private static final java.lang.String
PREF__DYN_DESCRIPTION
"-dynaggr <rule>, dynamic preference aggregation command with <rule>={dynplurality, dynveto, dynborda}"
private static final java.lang.String
PREF__DYN_IDENTIFIER
"-dynaggr"
private static final java.lang.String
PREF__UP_DESCRIPTION
"-up <file>, update file for dynamic preference aggregation command with <rule>={weaken, strengthen}"
private static final java.lang.String
PREF__UP_IDENTIFIER
"-up"
-
net.sf.tweety.preferences.ranking.Functions<T> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.preferences.ranking.LevelingFunction<T> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.preferences.ranking.RankingFunction<T> Modifier and Type Constant Field Value private static final long
serialVersionUID
1L
-
net.sf.tweety.web.TweetyServer Modifier and Type Constant Field Value public static final java.lang.String
BASE_URI
"http://192.168.0.2:8080/tweety/"
private static final java.lang.String
LOG
"tweetyserver.log"
-
net.sf.tweety.web.services.DelpService Modifier and Type Constant Field Value public static final java.lang.String
ID
"delp"
public static final java.lang.String
JSON_ATTR_ANSWER
"answer"
public static final java.lang.String
JSON_ATTR_CMD
"cmd"
public static final java.lang.String
JSON_ATTR_COMP
"compcriterion"
public static final java.lang.String
JSON_ATTR_COMP_EMPTY
"empty"
public static final java.lang.String
JSON_ATTR_COMP_GENSPEC
"genspec"
public static final java.lang.String
JSON_ATTR_EMAIL
"email"
public static final java.lang.String
JSON_ATTR_ERROR
"error"
public static final java.lang.String
JSON_ATTR_KB
"kb"
public static final java.lang.String
JSON_ATTR_QUERY
"query"
public static final java.lang.String
JSON_ATTR_REPLY
"reply"
public static final java.lang.String
JSON_VAL_QUERY
"query"
-
net.sf.tweety.web.services.InconsistencyMeasurementService Modifier and Type Constant Field Value public static final java.lang.String
ID
"incmes"
public static final java.lang.String
JSON_ATTR_CMD
"cmd"
public static final java.lang.String
JSON_ATTR_EMAIL
"email"
public static final java.lang.String
JSON_ATTR_ERROR
"error"
public static final java.lang.String
JSON_ATTR_FORMAT
"format"
public static final java.lang.String
JSON_ATTR_FORMATS
"formats"
public static final java.lang.String
JSON_ATTR_ID
"id"
public static final java.lang.String
JSON_ATTR_KB
"kb"
public static final java.lang.String
JSON_ATTR_LABEL
"label"
public static final java.lang.String
JSON_ATTR_MEASURE
"measure"
public static final java.lang.String
JSON_ATTR_MEASURES
"measures"
public static final java.lang.String
JSON_ATTR_REPLY
"reply"
public static final java.lang.String
JSON_ATTR_TIME
"time"
public static final java.lang.String
JSON_ATTR_VALUE
"value"
public static final java.lang.String
JSON_VAL_MEASURES
"measures"
public static final java.lang.String
JSON_VAL_VALUE
"value"
-
net.sf.tweety.web.services.PingService Modifier and Type Constant Field Value public static final java.lang.String
ID
"ping"