public interface AcexAnalyzer
Modifier and Type | Method and Description |
---|---|
default int |
analyzeAbstractCounterexample(AbstractCounterexample<?> acex)
Analyzes an abstract counterexample.
|
default int |
analyzeAbstractCounterexample(AbstractCounterexample<?> acex,
int low) |
int |
analyzeAbstractCounterexample(AbstractCounterexample<?> acex,
int low,
int high) |
default int analyzeAbstractCounterexample(AbstractCounterexample<?> acex)
acex
- the abstract counterexampleint analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low, int high)
default int analyzeAbstractCounterexample(AbstractCounterexample<?> acex, int low)
Copyright © 2018. All rights reserved.