Package modelcounter

Class Count

java.lang.Object

modelcounter.Count

public class Count
extends Object

Constructor Summary

Constructors

Constructor	Description
Count()

Method Summary

Modifier and Type	Method	Description
BigInteger	count(owl.ltl.LabelledFormula formula, int bound, boolean exhaustive, boolean positive)
String	genABCString(owl.ltl.LabelledFormula formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

Count

public Count()

Method Detail

count

public BigInteger count(owl.ltl.LabelledFormula formula,
                        int bound,
                        boolean exhaustive,
                        boolean positive)
                 throws IOException,
                        InterruptedException

Throws:

IOException

InterruptedException

genABCString

public String genABCString(owl.ltl.LabelledFormula formula)
                    throws IOException,
                           InterruptedException

Throws:

IOException

InterruptedException