- i -

• inputFile() : CommandLineOptions
• invertProperty() : Model
• isBDP() : Model
• isComplete() : LTS< Tran >
• isDecisionNode() : Model
• isDeterministic() : LTS< Tran >
• isGame() : Model
• isGreen() : Stree
• isIsomorphic() : Stree
• isNode() : Model
• isTerminal() : Parity
• isTrivial() : LTS< Tran >
• isTriviallyEmpty() : Parity