Constant Field Values

Contents

• net.sf.*

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.SynchronousProtocol

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

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.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.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.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.SimpleCharStream

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

net.sf.tweety.arg.rankings.RankingReasonerTest

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

net.sf.tweety.arg.rankings.RankingsTest

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

net.sf.tweety.arg.rankings.util.LexicographicDoubleTupleComparator

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

net.sf.tweety.arg.rankings.util.LexicographicIntTupleComparator

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

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.BeliefSet<T extends Formula,S extends Signature>

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

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.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.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.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.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.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.test.PlParserTest

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

net.sf.tweety.logics.qbf.test.QbfTest

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

net.sf.tweety.logics.qbf.test.QCIRTest

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

net.sf.tweety.logics.qbf.test.QDIMACSTest

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

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.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.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.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.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.SimpleCharStream

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

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.opt.problem.CombinatoricsProblem

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

net.sf.tweety.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

net.sf.tweety.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

net.sf.tweety.math.probability.Probability

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

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.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.web.TweetyServer

Modifier and Type	Constant Field	Value
public static final java.lang.String	BASE_URI	"http://192.168.0.2:8080/tweety/"

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"