EqualsTester

java.lang.Object

org.tweetyproject.lp.asp.syntax.EqualsTester

public class EqualsTester extends Object

tests equality

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

EqualsTester()
Method Summary

Modifier and Type

Method

Description

void

testAddAll()

add all test

void

testCloneEqualAtom()

clone equals test

void

testELPAtom()

elp atom test

void

testProgram()

program test

void

testRule()

rule test

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- EqualsTester
  
  public EqualsTester()
Method Details
- testELPAtom
  
  public void testELPAtom()
  
  elp atom test
- testCloneEqualAtom
  
  public void testCloneEqualAtom()
  
  clone equals test
- testRule
  
  public void testRule()
  
  rule test
- testProgram
  
  public void testProgram()
  
  program test
- testAddAll
  
  public void testAddAll()
  
  add all test