Interface ProbabilisticJustificationAnalysis

All Known Implementing Classes:
ApproxAnalysis, ConcurrentApproxAnalysis, ConcurrentExactAnalysis, ExactAnalysis

public interface ProbabilisticJustificationAnalysis
probablisitic justification analysis
Author:
Matthias Thimm