public class InvariantConfigurator
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static InvariantConfigurator |
getInstance()
Returns the single Instance of this class
|
LoopSpecification |
getLoopInvariant(LoopSpecification loopInv,
Services services,
boolean requiresVariant,
java.util.List<LocationVariable> heapContext)
Creates a Dialog.
|
public static InvariantConfigurator getInstance()
public LoopSpecification getLoopInvariant(LoopSpecification loopInv, Services services, boolean requiresVariant, java.util.List<LocationVariable> heapContext) throws RuleAbortException
loopInv
- services
- RuleAbortException
Copyright © 2003-2019 The KeY-Project.