escjava.prover
Class SimplifyComment

java.lang.Object
  escjava.prover.SimplifyOutput
      escjava.prover.SimplifyComment

public class SimplifyComment

extends SimplifyOutput

An object of this class represent a progress comment produced by Simplify.

See Also:

Simplify, CECEnum, SExp

Field Summary

(package private) java.lang.String

msg

Fields inherited from class escjava.prover.SimplifyOutput

COMMENT, COUNTEREXAMPLE, END, EXCEEDED_PROVER_KILL_ITER, EXCEEDED_PROVER_KILL_TIME, EXCEEDED_PROVER_SUBGOAL_KILL_ITER, EXCEEDED_PROVER_SUBGOAL_KILL_TIME, INVALID, kind, REACHED_CC_LIMIT, UNKNOWN, VALID, WARNING_TRIGGERLESS_QUANT

Constructor Summary

(package private)

SimplifyComment(java.lang.String msg)

Method Summary

java.lang.String

getMsg()

Methods inherited from class escjava.prover.SimplifyOutput

getKind, toString

Methods inherited from class java.lang.Object

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

Field Detail

msg

final java.lang.String msg

Constructor Detail

SimplifyComment

SimplifyComment(java.lang.String msg)

Method Detail

getMsg

public java.lang.String getMsg()