AutDatabase

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def automaton2Id(aut: Automaton): Int

   

   Add a new automaton to the database.

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. def emptyIntersection(aut1: NamedAutomaton, aut2: NamedAutomaton): Boolean

   

   Check whether aut1 and aut2 have empty intersection.

   Check whether aut1 and aut2 have empty intersection.

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

10. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

12. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

13. def id2Automaton(id: NamedAutomaton): Option[Automaton]

    

    Query the automaton that belongs to the regular expression with given id.

14. def id2Automaton(id: Int): Option[Automaton]

    

    Query the automaton that belongs to the regular expression with given id.

15. def id2AutomatonBE(id: NamedAutomaton): Option[Automaton]

    

    Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.

16. def id2AutomatonBE(id: Int): Option[Automaton]

    

    Query the automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.

17. def id2ComplementedAutomaton(id: Int): Option[Automaton]

    

    Query the complemented automaton that belongs to the regular expression with given id.

18. def id2ComplementedAutomatonBE(id: Int): Option[Automaton]

    

    Query the complemented automaton that belongs to the regular expression with given id; return the automaton only if it is already in the database.

19. def id2Regex(id: Int): Option[ITerm]

    

    Query the id of a regular expression.

20. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

21. def isSubsetOf(aut1: NamedAutomaton, aut2: NamedAutomaton): Boolean

    

    Check whether aut1 specifies a subset of aut2.

    Check whether aut1 specifies a subset of aut2.

22. def isSubsetOfBE(aut1: NamedAutomaton, aut2: NamedAutomaton): Option[Boolean]

    

    Check whether aut1 specifies a subset of aut2; the check is only carried out when all required automata are already in the database.

    Check whether aut1 specifies a subset of aut2; the check is only carried out when all required automata are already in the database.

23. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

24. final def notify(): Unit

    

    Definition Classes

    AnyRef

25. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

26. def regex2Automaton(regexTerm: ITerm): Automaton

    

    Query the automaton that belongs to a regular expression.

27. def regex2ComplementedAutomaton(regexTerm: ITerm): Automaton

    

    Query the complemented automaton that belongs to a regular expression.

28. def regex2Id(regexTerm: ITerm): Int

    

    Query the id of a regular expression.

29. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

30. def toString(): String

    

    Definition Classes

    AnyRef → Any

31. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

32. final def wait(arg0: Long, arg1: Int): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

33. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )