escjava.prover
Class HarveyResponse

java.lang.Object
  escjava.prover.ProverResponse
      escjava.prover.HarveyResponse

public class HarveyResponse

extends ProverResponse

Field Summary

Fields inherited from class escjava.prover.ProverResponse

COUNTER_EXAMPLE, FAIL, formula, INCONSISTENCY_WARNING, info, NO, OK, PROGRESS_INFORMATION, SYNTAX_ERROR, TIMEOUT, YES

Constructor Summary

HarveyResponse()

Method Summary

static ProverResponse

factory(int return_code)

Methods inherited from class java.lang.Object

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

Constructor Detail

HarveyResponse

public HarveyResponse()

Method Detail

factory

public static ProverResponse factory(int return_code)