A B C D E F G H I J K L M N O P R S T U V W X Y _

B

BACKSPACE - Static variable in class org.syntax.jedit.InputHandler
 
BACKSPACE_WORD - Static variable in class org.syntax.jedit.InputHandler
 
BOTTOM - Static variable in class org.syntax.jedit.JEditTextArea
 
BYHAND - Static variable in class InternalFrame
Konstante zum Erzeugen eines Fensters zur manuellen Verifizierung (ohne Next-Button).
BeginToken() - Method in class parser.SimpleCharStream
 
Block() - Static method in class parser.Verifier
 
BoolExpr() - Static method in class parser.Verifier
 
BoolProduct() - Static method in class parser.Verifier
 
BoolRewriter - class BoolRewriter.
Ein BoolRewriter schreibt einen booleschen Ausdruck der Form "id(~V) == _E ==> _B" so um, dass der Identifier "~V" im Ausdruck "_B" durch "_E" ersetzt wird.
BoolRewriter(SimpleNode, ListOfSubstitutions) - Constructor for class BoolRewriter
Erzeugt einen BoolRewriter für einen booleschen Ausdruck.
BoolSimp - class BoolSimp.
Eine Instanz von BoolSimp stellt eine Reihe boolescher Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit.
BoolSimp(boolean) - Constructor for class BoolSimp
Erzeugt die Regeln und füllt damit das Feld "rules".
BoolTerm() - Static method in class parser.Verifier
 
backup(int) - Static method in class parser.SimpleCharStream
 
beginColumn - Variable in class parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
beginCompoundEdit() - Method in class org.syntax.jedit.SyntaxDocument
Starts a compound edit that can be undone in one operation.
beginLine - Variable in class parser.Token
beginLine and beginColumn describe the position of the first character of this token; endLine and endColumn describe the position of the last character of this token.
biasLeft - Variable in class org.syntax.jedit.JEditTextArea
 
blink - Variable in class org.syntax.jedit.JEditTextArea
 
blinkCaret() - Method in class org.syntax.jedit.JEditTextArea
Blinks the caret.
blockCaret - Variable in class org.syntax.jedit.TextAreaDefaults
 
blockCaret - Variable in class org.syntax.jedit.TextAreaPainter
 
boolFunc() - Static method in class parser.Verifier
 
boolSimp - Static variable in class JPV
Enthaelt die booleschen Vereinfachungsregeln.
boolSimp - Variable in class Simplifier
Enthält die booleschen Vereinfachungsregeln.
bracketHighlight - Variable in class org.syntax.jedit.TextAreaDefaults
 
bracketHighlight - Variable in class org.syntax.jedit.TextAreaPainter
 
bracketHighlightColor - Variable in class org.syntax.jedit.TextAreaDefaults
 
bracketHighlightColor - Variable in class org.syntax.jedit.TextAreaPainter
 
bracketLine - Variable in class org.syntax.jedit.JEditTextArea
 
bracketPosition - Variable in class org.syntax.jedit.JEditTextArea
 
bufpos - Static variable in class parser.SimpleCharStream
 
bufsize - Static variable in class parser.SimpleCharStream
 

A B C D E F G H I J K L M N O P R S T U V W X Y _