JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.7.1591_4abe0e7c170fc61dd74a695a6efcf763b0f06898
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
de.uka.ilkd.key.strategy.feature.findprefix
Interface Checker
All Known Implementing Classes:
AntecChecker
,
AntecSuccPrefixChecker
,
SuccChecker
,
TopLevelChecker
interface
Checker
Interface for prefix checkers. Each checker is called on initialisation, on every operator of the prefix starting with the outermost operator and for getting the result.
Author:
christoph
Method Summary
All Methods
Instance Methods
Abstract Methods
Modifier and Type
Method and Description
boolean
check
(
PosInOccurrence
pio)
Called to get the result of the prefix check.
Method Detail
check
boolean check(
PosInOccurrence
pio)
Called to get the result of the prefix check.
Parameters:
pio
- the initial position of occurrence
Skip navigation links
Overview
Package
Class
Tree
Deprecated
Index
Help
KeY 2.7.1591_4abe0e7c170fc61dd74a695a6efcf763b0f06898
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method