public final class TestDTree
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static DefeasibleLogicProgram |
DELP_BIRDS |
Constructor and Description |
---|
TestDTree() |
Modifier and Type | Method and Description |
---|---|
void |
createWithNullArg() |
void |
creation() |
void |
defeatersWhenNull1() |
void |
defeatersWhenNull2() |
void |
defeatersWhenNull3() |
static void |
init() |
void |
properDefeater() |
private static DefeasibleLogicProgram DELP_BIRDS
public static void init() throws java.io.IOException
java.io.IOException
public void createWithNullArg()
public void creation()
public void defeatersWhenNull1()
public void defeatersWhenNull2()
public void defeatersWhenNull3()
public void properDefeater()