LingelingTest

java.lang.Object

org.tweetyproject.sat.test.LingelingTest

public class LingelingTest extends Object

Constructor Summary

Constructors

Constructor

Description

LingelingTest()
Method Summary

Modifier and Type

Method

Description

void

sat1()

void

setup()

void

taut1()

void

tearDown()

void

unsat1()

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

Constructor Details
- LingelingTest
  
  public LingelingTest()
Method Details
- setup
  
  public void setup()
- tearDown
  
  public void tearDown()
- taut1
  
  public void taut1()
- unsat1
  
  public void unsat1()
- sat1
  
  public void sat1()