edu.uiowa.cs.clc.kind2.results

Class Options

java.lang.Object

edu.uiowa.cs.clc.kind2.results.Options

public class Options
extends java.lang.Object

A Kind2 options object describes the options used by kind2 process.

Constructor Summary

Constructors

Constructor and Description
Options(com.google.gson.JsonElement jsonElement)

Method Summary

Modifier and Type	Method and Description
int	getBmcMax()
java.util.List<java.lang.String>	getEnabledModules()
java.lang.String	getJson()
double	getTimeout()
boolean	isCompositional()
boolean	isModular()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Options

public Options(com.google.gson.JsonElement jsonElement)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getJson

public java.lang.String getJson()

Returns:

Kind2 json output for this object

getEnabledModules

public java.util.List<java.lang.String> getEnabledModules()

Returns:

list of Kind 2 module names that are enabled

getTimeout

public double getTimeout()

Returns:

the wallclock timeout used for all the analyses.

getBmcMax

public int getBmcMax()

Returns:

maximal number of iterations for BMC and K-induction.

isCompositional

public boolean isCompositional()

Returns:

whether compositional analysis is enabled or not.

isModular

public boolean isModular()

Returns:

whether modular analysis is enabled or not.