Package modelcounter

Class ABC

java.lang.Object

modelcounter.ABC

public class ABC
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
vlab.cs.ucsb.edu.DriverProxy	abcDriver
boolean	result

Constructor Summary

Constructors

Constructor	Description
ABC()

Method Summary

Modifier and Type	Method	Description
BigInteger	count(long bound)
BigInteger	count(LinkedList<String> formulas, int bound, boolean exhaustive, boolean positive)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

abcDriver

public vlab.cs.ucsb.edu.DriverProxy abcDriver

result

public boolean result

Constructor Detail

ABC

public ABC()

Method Detail

count

public BigInteger count(LinkedList<String> formulas,
                        int bound,
                        boolean exhaustive,
                        boolean positive)

count

public BigInteger count(long bound)