Packages

object Totalizer

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Totalizer
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. def apply(s: Statement, fallback: Option[Statement]): Statement

    Replace partial controllers with total controllers

  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def assertify(s: Statement): Statement

    returns

    statement where assumptions have been made into assertions

  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  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. def findController(s: Statement): Option[(Statement, Statement)]

    Return pair of controller and plant, if any.

    Return pair of controller and plant, if any. If the statement is all-plant or all-controller, we succeed with Triv() for the controller or plant respectively. Failure only occurs when there is not a *unique* controller-plant pair, e.g. when different proof branches have different ODEs.

  12. def findLoop(s: Statement, fallback: Option[Statement]): Option[Statement]

    returns

    first BoxLoop found in a possible block of statements

  13. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  14. def guessBranch(branching: Statement, fallback: Option[Statement]): (Statement, Int)

    Guess which branch of the branching statement serves as the best template for the fallback statement

  15. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  16. def isBranch(s: Statement): Boolean

    returns

    whether statement is a branching statement

  17. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  18. def isModify(s: Statement): Boolean

    returns

    whether statement is a modify statement

  19. def joinBranch(branching: Statement, branch: Statement, i: Int): Statement

    returns

    branching statement where branch i has been replaced with given branch

  20. def mainBody(s: Statement, fallback: Option[Statement]): Option[Statement]

    TODO: Skip over controllers that are obviously total

  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. def peelPlant(s: List[Statement]): Option[(Statement, Statement)]

    returns

    return initial plant, if any

  25. def replaceControls(template: Statement, fallback: Option[Statement]): Statement

    returns

    template where first assignment block is replaced by fallback or by heuristic if no fallback given

  26. def splitAtAssigns(s: Statement): (Statement, List[Modify], Statement)

    Split at assignments

  27. def splitAtBranch(s: Statement): (Statement, Statement, Statement)

    Returns header, branching statement, and footer, if any

  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def toBoxChoice(ss: List[Statement]): Statement

    returns

    BoxChoice statement which chooses from list of branches

  30. def toBranches(s: Statement): List[Statement]
  31. def toBranches(bc: BoxChoice): List[Statement]
  32. def toBranches(s: Switch): List[Statement]

    returns

    List of branches in branching statements Switch and BoxChoice

  33. def toString(): String
    Definition Classes
    AnyRef → Any
  34. var useComments: Boolean
  35. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped