SetAfTheoryTest

java.lang.Object

SetAfTheoryTest

public class SetAfTheoryTest extends Object

Examples of SetAf Theorys and their semantics

Author:: Sebastian Franke

Constructor Summary

Constructors

Constructor

Description

SetAfTheoryTest()
Method Summary

Modifier and Type

Method

Description

void

extensionTest()

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

Constructor Details
- SetAfTheoryTest
  
  public SetAfTheoryTest()
Method Details
- extensionTest
  
  @Test public void extensionTest()