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. val id2Aut: HashMap[Int, Automaton]

    

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

    

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

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

    

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

16. 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.

17. 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.

18. val id2CompAut: HashMap[Int, Automaton]

    

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

    

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

20. 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.

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

    

    Query the id of a regular expression.

22. val id2Regex: HashMap[Int, ITerm]

    

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Check whether aut1 specifies a subset of aut2.

    Check whether aut1 specifies a subset of aut2.

25. 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.

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

    

    Definition Classes

    AnyRef

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

29. val regex2Aut: Regex2Aut

    

    Attributes

    protected

30. def regex2Automaton(regexTerm: ITerm): Automaton

    

    Query the automaton that belongs to a regular expression.

31. def regex2ComplementedAutomaton(regexTerm: ITerm): Automaton

    

    Query the complemented automaton that belongs to a regular expression.

32. def regex2Id(regexTerm: ITerm): Int

    

    Query the id of a regular expression.

33. val regexes: HashMap[ITerm, Int]

    

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

    

    Definition Classes

    AnyRef

35. def toString(): String

    

    Definition Classes

    AnyRef → Any

36. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )