public interface RuleAppFeature
long
cost(RuleApp app, Goal goal)
long cost(RuleApp app, Goal goal)
Copyright © 2003-2019 The KeY-Project.