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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

TestArguments

public TestArguments()

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()