BugSAT22 (SAT4J 2.3.2 Test API)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.sat4j.pb
Class BugSAT22

java.lang.Object
  org.sat4j.pb.BugSAT22

public class BugSAT22
extends Object
extends Object

Nested Class Summary
`class`	`BugSAT22.Named`

Constructor Summary
`BugSAT22()`

Method Summary
`void`	`testSimpleResolverUnitFirst()`
`void`	`testSimpleResolverUnitLast()`

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

Constructor Detail

BugSAT22

public BugSAT22()

Method Detail

testSimpleResolverUnitFirst

public void testSimpleResolverUnitFirst()
                                 throws ContradictionException,
                                        TimeoutException

Throws:: ContradictionException; TimeoutException

testSimpleResolverUnitLast

public void testSimpleResolverUnitLast()
                                throws ContradictionException,
                                       TimeoutException