PicosatTest

java.lang.Object

org.tweetyproject.sat.test.PicosatTest

public class PicosatTest extends Object

Constructor Summary

Constructors

Constructor

Description

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