public final class TestArguments
extends java.lang.Object
Modifier and Type | Field and 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 and Description |
---|
TestArguments() |
Modifier and Type | Method and Description |
---|---|
void |
argRepresentation() |
void |
countering() |
void |
createWithNullConclusion1() |
void |
createWithNullConclusion2() |
static void |
init() |
private static DefeasibleLogicProgram DELP_BIRDS
private static final java.util.List<Term<?>> TINA
private static final FolFormula FOL_FLIES_TINA
private static final FolFormula FOL_NOT_FLIES_TINA
static final java.lang.String STR_TINA_NOT_FLIES
static final DelpArgument ARG_TINA_NOT_FLIES
static final java.lang.String STR_TINA_FLIES1
static final DelpArgument ARG_TINA_FLIES1
static final java.lang.String STR_TINA_FLIES2
static final DelpArgument ARG_TINA_FLIES2
static final java.lang.String STR_TINA_NESTS
static final DelpArgument ARG_TINA_NESTS
public static void init() throws java.io.IOException
java.io.IOException
public void createWithNullConclusion1()
public void createWithNullConclusion2()
public void argRepresentation()
public void countering()