ParikhUtil

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. val MAX_DETERMIN_EXPAND: Double

   

5. val MAX_MINIMIZE_SIZE: Int

   

6. val MIN_COUNTING_SIZE_APPROX: Int

   

7. val MIN_LOG_REG_SUM_PARIKH: Int

   

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def bug(s: Any): Unit

   

10. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

11. var debugOpt: Boolean

    

12. def debugPrintln(s: Any): Unit

    

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

    

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

15. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

16. def findAcceptedWord(auts: Seq[CostEnrichedAutomatonBase], registersModel: Map[ITerm, IdealInt], flags: OFlags): Option[Seq[Int]]

    

17. def findAcceptedWordByRegistersComplete(aut: CostEnrichedAutomatonBase, registersModel: Map[ITerm, IdealInt], flags: OFlags): Option[Seq[Int]]

    

18. def findAcceptedWordByTransTimesComplete(aut: CostEnrichedAutomatonBase, registersModel: Map[ITerm, IdealInt], flags: OFlags): Option[Seq[Int]]

    

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

    

    Definition Classes

    AnyRef → Any

20. def getImage(aut: CostEnrichedAutomatonBase, states: Set[State], lbl: TLabel): Set[State]

    

21. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

22. def isEmptyString(aut: CostEnrichedAutomatonBase): Boolean

    

23. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

24. def log(s: Any): Unit

    

25. var logOpt: Boolean

    

26. def measure[A](op: String)(comp: ⇒ A)(implicit manualFlag: Boolean = true): A

    

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

    

    Definition Classes

    AnyRef

28. final def notify(): Unit

    

    Definition Classes

    AnyRef

29. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

30. def parikhImage(aut: CostEnrichedAutomatonBase, explicitTrans2Term: Map[(dk.brics.automaton.State, (Char, Char), dk.brics.automaton.State, Seq[Int]), ITerm] = Map()): IFormula

    

31. def partition(aut: CostEnrichedAutomatonBase, str: Seq[Char]): Iterable[(State, State, Seq[Int])]

    

    find all states vec triple (s, t, v) such that s ---(str,v)--> t and v is the sum of updates on the path

32. def sumVec(v1: Seq[Int], v2: Seq[Int]): Seq[Int]

    

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

    

    Definition Classes

    AnyRef

34. def throwWithStackTrace(e: Throwable): Nothing

    

35. def toString(): String

    

    Definition Classes

    AnyRef → Any

36. def todo(s: Any, urgency: Int): Unit

    

37. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )