Constant Field Values

Contents

net.sf.*

  • net.sf.tweety.arg.adf.cli.CommandLineInterface 
    Modifier and Type Constant Field Value
    private static final java.lang.String prompt "USAGE: java -jar jadf.jar <file> <sem>\r\n\nCOMMAND LINE ARGUMENTS:\r\n<file> : Input filename for ADF instance.\r\n<sem> : ADF semantics. <sem>={mod|nai|adm|com}"
  • 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.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.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.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.logics.pl.error.PlException 
    Modifier and Type Constant Field Value
    private static final long serialVersionUID 843894579984076905L
  • 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.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.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.rdl.parser.RdlParser 
    Modifier and Type Constant Field Value
    private final java.lang.String DIV_COLON "::"
    private final java.lang.String DIV_COMMA ";"
    private final java.lang.String DIV_SLASH "/"
  • 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.syntax.Program 
    Modifier and Type Constant Field Value
    private static final long serialVersionUID -1498770939009078101L
  • net.sf.tweety.lp.nlp.syntax.NLPProgram 
    Modifier and Type Constant Field Value
    private static final long serialVersionUID 1050122194243070233L
  • 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.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"