Package net.sf.tweety.arg.delp
Class TestArguments
- java.lang.Object
-
- net.sf.tweety.arg.delp.TestArguments
-
public final class TestArguments extends java.lang.Object
Testing argument syntax.- Author:
- Linda.Briesemeister
-
-
Field Summary
Fields Modifier and Type Field Description (package private) static DelpArgument
ARG_TINA_FLIES1
(package private) static DelpArgument
ARG_TINA_FLIES2
(package private) static DelpArgument
ARG_TINA_NESTS
(package private) static DelpArgument
ARG_TINA_NOT_FLIES
private static DefeasibleLogicProgram
DELP_BIRDS
private static FolFormula
FOL_FLIES_TINA
private static FolFormula
FOL_NOT_FLIES_TINA
(package private) static java.lang.String
STR_TINA_FLIES1
(package private) static java.lang.String
STR_TINA_FLIES2
(package private) static java.lang.String
STR_TINA_NESTS
(package private) static java.lang.String
STR_TINA_NOT_FLIES
private static java.util.List<Term<?>>
TINA
-
Constructor Summary
Constructors Constructor Description TestArguments()
-
Method Summary
Modifier and Type Method Description void
argRepresentation()
void
countering()
void
createWithNullConclusion1()
void
createWithNullConclusion2()
static void
init()
-
-
-
Field Detail
-
DELP_BIRDS
private static DefeasibleLogicProgram DELP_BIRDS
-
TINA
private static final java.util.List<Term<?>> TINA
-
FOL_FLIES_TINA
private static final FolFormula FOL_FLIES_TINA
-
FOL_NOT_FLIES_TINA
private static final FolFormula FOL_NOT_FLIES_TINA
-
STR_TINA_NOT_FLIES
static final java.lang.String STR_TINA_NOT_FLIES
- See Also:
- Constant Field Values
-
ARG_TINA_NOT_FLIES
static final DelpArgument ARG_TINA_NOT_FLIES
-
STR_TINA_FLIES1
static final java.lang.String STR_TINA_FLIES1
- See Also:
- Constant Field Values
-
ARG_TINA_FLIES1
static final DelpArgument ARG_TINA_FLIES1
-
STR_TINA_FLIES2
static final java.lang.String STR_TINA_FLIES2
- See Also:
- Constant Field Values
-
ARG_TINA_FLIES2
static final DelpArgument ARG_TINA_FLIES2
-
STR_TINA_NESTS
static final java.lang.String STR_TINA_NESTS
- See Also:
- Constant Field Values
-
ARG_TINA_NESTS
static final DelpArgument ARG_TINA_NESTS
-
-
Method Detail
-
init
public static void init() throws java.io.IOException
- Throws:
java.io.IOException
-
createWithNullConclusion1
public void createWithNullConclusion1()
-
createWithNullConclusion2
public void createWithNullConclusion2()
-
argRepresentation
public void argRepresentation()
-
countering
public void countering()
-
-