Package modelcounter

Class CountREModels

java.lang.Object

modelcounter.CountREModels

public class CountREModels
extends Object

Constructor Summary

Constructors

Constructor	Description
CountREModels()

Method Summary

Modifier and Type	Method	Description
BigInteger	count(List<owl.ltl.LabelledFormula> formulas, int bound, boolean exhaustive, boolean positive)
String	genABCString(owl.ltl.LabelledFormula ltl)
String	toABClanguage(String re)

Methods inherited from class java.lang.Object

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

Constructor Detail

CountREModels

public CountREModels()

Method Detail

count

public BigInteger count(List<owl.ltl.LabelledFormula> formulas,
                        int bound,
                        boolean exhaustive,
                        boolean positive)
                 throws IOException,
                        InterruptedException

Throws:

IOException

InterruptedException

genABCString

public String genABCString(owl.ltl.LabelledFormula ltl)

toABClanguage

public String toABClanguage(String re)