Constant Field Values

Contents

• org.tweetyproject.*

org.tweetyproject.*

org.tweetyproject.agents.MultiAgentSystem<T extends Agent>

Modifier and Type	Constant Field	Value
public static final int	EXECUTE_TILL_TERMINATION	-1

org.tweetyproject.agents.SynchronousProtocol

Modifier and Type	Constant Field	Value
public static final int	UNLIMITED_EXECUTION	-1

org.tweetyproject.agents.dialogues.lotteries.ProbabilisticLotteryAgent

Modifier and Type	Constant Field	Value
public static final byte	UPDATE_NAIVE	0x1
public static final byte	UPDATE_ROUGH	0x4
public static final byte	UPDATE_SIMPLE	0x2
public static final byte	UPDATE_STICKY	0x3

org.tweetyproject.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

org.tweetyproject.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

org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	2000

org.tweetyproject.arg.adf.semantics.test.LinkTypeTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	2000

org.tweetyproject.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

org.tweetyproject.arg.delp.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.tweetyproject.arg.rankings.RankingReasonerTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	50000

org.tweetyproject.arg.rankings.RankingsTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.arg.rankings.util.LexicographicDoubleTupleComparator

Modifier and Type	Constant Field	Value
public static final double	PRECISION	0.001

org.tweetyproject.arg.rankings.util.LexicographicIntTupleComparator

Modifier and Type	Constant Field	Value
public static final double	PRECISION	0.001

org.tweetyproject.cli.TweetyCli

Modifier and Type	Constant Field	Value
public static final String	ARG__INPUT_FILES	"--input"
public static final String	ARG__INPUT_FILES_SHORT	"-i"
public static final String	ARG__INPUT_PARSER	"--parser"
public static final String	ARG__INPUT_PARSER_SHORT	"-p"
public static final String	ARG__LOG_FILE	"--logfile"
public static final String	ARG__LOG_FILE_SHORT	"-lf"
public static final String	ARG__LOG_LEVEL	"--log"
public static final String	ARG__LOG_LEVEL_SHORT	"-l"
public static final String	ARG__OPTIONS	"--options"
public static final String	ARG__OPTIONS_SHORT	"-op"
public static final String	ARG__OUTPUT_FILE	"--output"
public static final String	ARG__OUTPUT_FILE_SHORT	"-o"
public static final String	ARG__OUTPUT_WRITER	"--writer"
public static final String	ARG__OUTPUT_WRITER_SHORT	"-w"
public static final String	ARG__QUERY	"--query"
public static final String	ARG__QUERY_SHORT	"-q"

org.tweetyproject.cli.plugins.CliMain

Modifier and Type	Constant Field	Value
public static final String	ARG__CALLED_PLUGIN	"--plugin"
public static final String	ARG__CALLED_PLUGIN_SHORT	"-p"
public static final String	ARG__DEBUG_FLAG	"--debug"
public static final String	ARG__DEBUG_FLAG_SHORT	"-d"
public static final String	ARG__INPUT_FILES	"--input"
public static final String	ARG__INPUT_FILES_SHORT	"-i"
public static final String	ARG__OUTPUT_FILE	"--output"
public static final String	ARG__OUTPUT_FILE_SHORT	"-o"
public static final String	HELPTEXT	"help.txt"
public static final String	TWEETY_CLI_DEFAULT_CONFIG	"tweety_config.xml"

org.tweetyproject.commons.BeliefSet<T extends Formula,S extends Signature>

Modifier and Type	Constant Field	Value
public static final boolean	EQUALS_USES_SIGNATURE	false

org.tweetyproject.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

org.tweetyproject.commons.FormulaSampler<T extends Formula>

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_MAXIMAL_FORMULA_LENGTH	2

org.tweetyproject.graphs.DirHyperGraph<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

org.tweetyproject.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

org.tweetyproject.logics.commons.analysis.InconsistencyMeasure<T extends BeliefBase>

Modifier and Type	Constant Field	Value
public static final double	MEASURE_TOLERANCE	0.005

org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S extends Formula>

Modifier and Type	Constant Field	Value
public static final String	CONFIG_TIMEOUT	"config_timeout"

org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S extends Formula>

Modifier and Type	Constant Field	Value
public static final String	CONFIG_AGGREGATIONFUNCTION	"config_aggregationfunction"
public static final String	CONFIG_MEASURE	"config_measure"
public static final String	CONFIG_NAME	"config_name"
public static final String	CONFIG_WINDOWSIZE	"config_windowsize"

org.tweetyproject.logics.dl.test.DlParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	3000

org.tweetyproject.logics.dl.test.DlReasonerTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	10000

org.tweetyproject.logics.fol.test.FolParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.logics.ml.MleanCoPTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	10000

org.tweetyproject.logics.ml.MlParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.logics.ml.MlReasonerTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	10000000

org.tweetyproject.logics.ml.SPASSTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	10000

org.tweetyproject.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

org.tweetyproject.logics.pcl.analysis.BalancedMachineShop

Modifier and Type	Constant Field	Value
public static final double	PRECISIONCULP	0.01
public static final double	PRECISIONOPT	0.002

org.tweetyproject.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

org.tweetyproject.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

org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

Modifier and Type	Constant Field	Value
public static final String	CONFIG_KEY_NUMBEROFPOPULATIONS	"numberOfPopulations"
public static final String	CONFIG_KEY_SIGNATURE	"signature"
public static final String	CONFIG_KEY_WITNESSPROVIDER	"witnessProvider"
public static final String	CONFIG_SMOOTHINGFACTOR	"config_smoothingfactor"

org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure

Modifier and Type	Constant Field	Value
public static final byte	SUMFUZZY_MEASURE	0x1
public static final byte	TFUZZY_MEASURE	0x0

org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess

Modifier and Type	Constant Field	Value
public static final String	CONFIG_KEY_NUMBEROFPOPULATIONS	"numberOfPopulations"
public static final String	CONFIG_KEY_SIGNATURE	"signature"
public static final String	CONFIG_SMOOTHINGFACTOR	"config_smoothingfactor"

org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample

Modifier and Type	Constant Field	Value
public static final 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 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 String	TMP_FILE_FOLDER	"/home/mthimm/strinc/tmp"

org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2

Modifier and Type	Constant Field	Value
public static final 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 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 String	TMP_FILE_FOLDER	"/Users/mthimm/Desktop/tmp"

org.tweetyproject.logics.pl.test.PlParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	2000

org.tweetyproject.logics.qbf.test.QbfTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	2000

org.tweetyproject.logics.qbf.test.QCIRTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.logics.qbf.test.QDIMACSTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	2000

org.tweetyproject.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

org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	true

org.tweetyproject.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

org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	true

org.tweetyproject.logics.rpcl.reasoner.RpclMeReasoner

Modifier and Type	Constant Field	Value
public static final int	LIFTED_INFERENCE	2
public static final int	STANDARD_INFERENCE	1

org.tweetyproject.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

org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution

Modifier and Type	Constant Field	Value
public static final double	LOWER_BOUND	0.0
public static final double	UPPER_BOUND	1.0

org.tweetyproject.logics.translators.aspfol.AspFolTranslator

Modifier and Type	Constant Field	Value
public static final int	TT_NEGATION	1

org.tweetyproject.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

org.tweetyproject.lp.asp.parser.AspifParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.lp.asp.parser.ASPParserConstants

Modifier and Type	Constant Field	Value
public static final int	AGGREGATE_COUNT	39
public static final int	AGGREGATE_MAX	40
public static final int	AGGREGATE_MIN	41
public static final int	AGGREGATE_SUM	44
public static final int	AGGREGATE_SUM_PLUS	45
public static final int	AGGREGATE_TIMES	46
public static final int	ANONYMOUS_VARIABLE	13
public static final int	AT	26
public static final int	CLINGO_ID	52
public static final int	CLINGO_SHOW	47
public static final int	COLON	17
public static final int	COMMA	15
public static final int	COMMENT	5
public static final int	CONS	19
public static final int	CURLY_CLOSE	32
public static final int	CURLY_OPEN	31
public static final int	DEFAULT	0
public static final int	DIV	24
public static final int	DLV_ARITHMETIC_ID	50
public static final int	DLV_ID	51
public static final int	DOT	14
public static final int	EOF	0
public static final int	EQUAL	33
public static final int	GREATER	36
public static final int	GREATER_OR_EQ	38
public static final int	ID	9
public static final int	LESS	35
public static final int	LESS_OR_EQ	37
public static final int	MAXIMIZE	43
public static final int	META_CONST	49
public static final int	META_MAXINT	48
public static final int	META_OTHER	53
public static final int	MINIMIZE	42
public static final int	MINUS	22
public static final int	MODULO	25
public static final int	MULTI_LINE_COMMENT	6
public static final int	NAF	7
public static final int	NUMBER	12
public static final int	OR	8
public static final int	PAREN_CLOSE	28
public static final int	PAREN_OPEN	27
public static final int	PLUS	21
public static final int	QUERY_MARK	16
public static final int	SEMICOLON	18
public static final int	SQUARE_CLOSE	30
public static final int	SQUARE_OPEN	29
public static final int	STRING	11
public static final int	TIMES	23
public static final int	UNEQUAL	34
public static final int	VARIABLE	10
public static final int	WCONS	20

org.tweetyproject.lp.asp.parser.ASPParserTest

Modifier and Type	Constant Field	Value
public static final int	DEFAULT_TIMEOUT	5000

org.tweetyproject.lp.asp.parser.ASPParserTreeConstants

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	JJTCLINGOID	35
public static final int	JJTCLINGOMETA	16
public static final int	JJTDLVARITHMETICID	36
public static final int	JJTDLVID	34
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	37
public static final int	JJTTERM	28
public static final int	JJTTERMLIST	27
public static final int	JJTVAR	32
public static final int	JJTWEIGHT	21

org.tweetyproject.lp.asp.parser.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.tweetyproject.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

org.tweetyproject.math.opt.problem.CombinatoricsProblem

Modifier and Type	Constant Field	Value
public static final int	MAXIMIZE	1
public static final int	MINIMIZE	0

org.tweetyproject.math.opt.problem.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

org.tweetyproject.math.opt.rootFinder.NewtonRootFinder

Modifier and Type	Constant Field	Value
public static final int	MAX_FIX_ITERATIONS	100
public static final double	PRECISION	1.0E-5

org.tweetyproject.math.probability.Probability

Modifier and Type	Constant Field	Value
public static final double	PRECISION	0.01

org.tweetyproject.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

org.tweetyproject.preferences.io.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.tweetyproject.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

org.tweetyproject.web.TweetyServer

Modifier and Type	Constant Field	Value
public static final String	BASE_URI	"http://localhost:8080/tweety/"

org.tweetyproject.web.services.DelpService

Modifier and Type	Constant Field	Value
public static final String	ID	"delp"
public static final String	JSON_ATTR_ANSWER	"answer"
public static final String	JSON_ATTR_CMD	"cmd"
public static final String	JSON_ATTR_COMP	"compcriterion"
public static final String	JSON_ATTR_COMP_EMPTY	"empty"
public static final String	JSON_ATTR_COMP_GENSPEC	"genspec"
public static final String	JSON_ATTR_EMAIL	"email"
public static final String	JSON_ATTR_ERROR	"error"
public static final String	JSON_ATTR_KB	"kb"
public static final String	JSON_ATTR_QUERY	"query"
public static final String	JSON_ATTR_REPLY	"reply"
public static final String	JSON_VAL_QUERY	"query"

org.tweetyproject.web.services.InconsistencyMeasurementService

Modifier and Type	Constant Field	Value
public static final String	ID	"incmes"
public static final String	JSON_ATTR_CMD	"cmd"
public static final String	JSON_ATTR_EMAIL	"email"
public static final String	JSON_ATTR_ERROR	"error"
public static final String	JSON_ATTR_FORMAT	"format"
public static final String	JSON_ATTR_FORMATS	"formats"
public static final String	JSON_ATTR_ID	"id"
public static final String	JSON_ATTR_KB	"kb"
public static final String	JSON_ATTR_LABEL	"label"
public static final String	JSON_ATTR_MEASURE	"measure"
public static final String	JSON_ATTR_MEASURES	"measures"
public static final String	JSON_ATTR_REPLY	"reply"
public static final String	JSON_ATTR_TIME	"time"
public static final String	JSON_ATTR_VALUE	"value"
public static final String	JSON_VAL_MEASURES	"measures"
public static final String	JSON_VAL_VALUE	"value"

org.tweetyproject.web.services.PingService

Modifier and Type	Constant Field	Value
public static final String	ID	"ping"