MinisatTest

java.lang.Object

org.tweetyproject.sat.test.MinisatTest

public class MinisatTest extends Object

Constructor Summary

Constructors

Constructor

Description

MinisatTest()
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
- MinisatTest
  
  public MinisatTest()
Method Details
- setup
  
  public void setup()
- tearDown
  
  public void tearDown()
- taut1
  
  public void taut1()
- unsat1
  
  public void unsat1()
- sat1
  
  public void sat1()