BugSAT61 (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 BugSAT61

java.lang.Object
  org.sat4j.pb.BugSAT61

public class BugSAT61
extends Object
extends Object

Constructor Summary
`BugSAT61()`

Method Summary
`void`	`testDuplicatedConjuncts()`
`void`	`testNoDuplicatedConjuncts()`

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

Constructor Detail

BugSAT61

public BugSAT61()

Method Detail

testDuplicatedConjuncts

public void testDuplicatedConjuncts()
                             throws ParseFormatException,
                                    ContradictionException,
                                    TimeoutException

Throws:: ParseFormatException; ContradictionException; TimeoutException

testNoDuplicatedConjuncts

public void testNoDuplicatedConjuncts()
                               throws ParseFormatException,
                                      ContradictionException,
                                      TimeoutException