Class SetAfTheoryTest

java.lang.Object
SetAfTheoryTest

public class SetAfTheoryTest extends Object
Examples of SetAf Theorys and their semantics
Author:
Sebastian Franke
  • Constructor Details

    • SetAfTheoryTest

      public SetAfTheoryTest()
  • Method Details

    • extensionTest

      @Test public void extensionTest()