net.sf.tweety.lp.asp.syntax

Class EqualsTester

java.lang.Object

net.sf.tweety.lp.asp.syntax.EqualsTester

public class EqualsTester
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
EqualsTester()

Method Summary

Modifier and Type	Method and Description
void	testAddAll()
void	testCloneEqualAtom()
void	testELPAtom()
void	testProgram()
void	testRule()

Methods inherited from class java.lang.Object

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

Constructor Detail

EqualsTester

public EqualsTester()

Method Detail

testELPAtom

public void testELPAtom()

testCloneEqualAtom

public void testCloneEqualAtom()

testRule

public void testRule()

testProgram

public void testProgram()

testAddAll

public void testAddAll()