public class TraceValidator
extends java.lang.Object
Constructor and Description |
---|
TraceValidator(Trace trace,
_Prover prover,
_TraceSupport traceSupport) |
Modifier and Type | Method and Description |
---|---|
_Prover |
getProver() |
Trace |
getTrace() |
boolean |
validateProofTrace() |
public TraceValidator(Trace trace, _Prover prover, _TraceSupport traceSupport)
public Trace getTrace()
public _Prover getProver()
public boolean validateProofTrace() throws TraceSupportException
TraceSupportException