Verifier (symbolic-executor API)

java.lang.Object

de.uzl.its.swat.instrument.svcomp.Verifier

public class Verifier extends Object

Constructor Summary

Constructors

Constructor

Description

Verifier()
Method Summary

Modifier and Type

Method

Description

static void

assume(boolean condition)

static HashMap<String,Queue<String>>

getInputs()

static long

getNextId()

static boolean

nondetBoolean(long id)

static byte

nondetByte(long id)

static char

nondetChar(long id)

static double

nondetDouble(long id)

static float

nondetFloat(long id)

static int

nondetInt(long id)

static long

nondetLong(long id)

static short

nondetShort(long id)

static String

nondetString(long id)

static void

retrieveInputs()

static void

setInputs(HashMap<String,Queue<String>> inputs)

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

Constructor Details
- Verifier
  
  public Verifier()
Method Details
- getNextId
  
  public static long getNextId()
- retrieveInputs
  
  public static void retrieveInputs()
- assume
  
  public static void assume(boolean condition)
- nondetBoolean
  
  public static boolean nondetBoolean(long id)
- nondetByte
  
  public static byte nondetByte(long id)
- nondetChar
  
  public static char nondetChar(long id)
- nondetShort
  
  public static short nondetShort(long id)
- nondetInt
  
  public static int nondetInt(long id)
- nondetLong
  
  public static long nondetLong(long id)
- nondetFloat
  
  public static float nondetFloat(long id)
- nondetDouble
  
  public static double nondetDouble(long id)
- nondetString
  
  public static String nondetString(long id)
- getInputs
  
  public static HashMap<String,Queue<String>> getInputs()
- setInputs
  
  public static void setInputs(HashMap<String,Queue<String>> inputs)