Interface CharacterStateMatrix<S>

    • Method Detail

      • containsCharacter

        boolean containsCharacter​(java.lang.String character)
      • containsIdentifier

        boolean containsIdentifier​(java.lang.String identifier)
      • getCharacter

        java.lang.String getCharacter​(int character_index)
      • getCharacterIndex

        int getCharacterIndex​(java.lang.String character)
      • getIdentifier

        java.lang.String getIdentifier​(int identifier_index)
      • getIdentifierIndex

        int getIdentifierIndex​(java.lang.String identifier)
      • getNumberOfCharacters

        int getNumberOfCharacters()
      • getNumberOfIdentifiers

        int getNumberOfIdentifiers()
      • getState

        S getState​(int identifier_index,
                   int character_index)
      • getState

        S getState​(java.lang.String identifier,
                   int character_index)
      • getState

        S getState​(java.lang.String identifier,
                   java.lang.String character)
      • isEmpty

        boolean isEmpty()
      • setCharacter

        void setCharacter​(int character_index,
                          java.lang.String character)
      • setIdentifier

        void setIdentifier​(int identifier_index,
                           java.lang.String identifier)
      • setState

        void setState​(int identifier_index,
                      int character_index,
                      S state)
      • setState

        void setState​(java.lang.String identifier,
                      int character_index,
                      S state)
      • setState

        void setState​(java.lang.String identifier,
                      java.lang.String character,
                      S state)
      • toWriter

        void toWriter​(java.io.Writer writer)
               throws java.io.IOException
        Throws:
        java.io.IOException
      • toWriter

        void toWriter​(java.io.Writer writer,
                      CharacterStateMatrix.Format format)
               throws java.io.IOException
        Throws:
        java.io.IOException