Uses of Class
ui.EnginTraceDialog

Packages that use EnginTraceDialog

engin
engin.event

Uses of EnginTraceDialog in engin

Methods in engin with parameters of type EnginTraceDialog

void	Engin.setEnginTrace(EnginTraceDialog trace) Register a trace verification object for use during formula verification

Uses of EnginTraceDialog in engin.event

Methods in engin.event that return EnginTraceDialog

EnginTraceDialog

EnginEvent.getVerifyTrace() Returns the trace object that contains all verification operations

Methods in engin.event with parameters of type EnginTraceDialog

void	EnginEvent.setVerifyTrace(EnginTraceDialog trace) Set the trace object that contains all the operations that justifies the formula's verification.