Mercurial Mercurial > wneuper > isac / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/java/isac/util/interfaces/ICalcIterator.java
changeset 2312 cdcc19348255
parent 2311 a25434b5a9ac
child 2313 6be2c13f6199
equal deleted inserted replaced
2311:a25434b5a9ac 2312:cdcc19348255 
    17  * 
    17  * 
    18  * At such a Position there is (a) a Formula or a CalcHead (b) a Tactic which is
 
    18  * At such a Position there is (a) a Formula or a CalcHead (b) a Tactic which is
 
    19  * applicable to this Formula (Apply_Method is the only Tactic applicable to a
 
    19  * applicable to this Formula (Apply_Method is the only Tactic applicable to a
 
    20  * CalcHead) (c) an Assumption generated by application of this Tactic to this
 
    20  * CalcHead) (c) an Assumption generated by application of this Tactic to this
 
    21  * Formula
 
    21  * Formula
 
    22  * 
    22  * hallo
 
    23  * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
 
    23  * Invariant: The Level changes at most +/- ONE when moveUp or moveDown.
 
    24  * 
    24  * 
    25  * a CalcIterator may be invalid,
 
    25  * a CalcIterator may be invalid,
 
    26  * 
    26  * 
    27  * @see isac.util.CalcChangedEvent#
 
    27  * @see isac.util.CalcChangedEvent#
wneuper/isac