Packages

p

at.logic.gapt

utils

package utils

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Doc extends AnyRef
  2. trait ExternalProgram extends AnyRef
  3. trait Logger extends AnyRef
  4. sealed trait Maybe [+T] extends AnyRef
  5. trait Maybe0 extends AnyRef
  6. trait Maybe1 extends Maybe0
  7. trait MetricsCollector extends AnyRef
  8. class NameGenerator extends AnyRef
  9. sealed trait Not [T] extends AnyRef

    Together with the scala <:< construct, the Not trait allows us to express that a type is not a subtype of another.

    Together with the scala <:< construct, the Not trait allows us to express that a type is not a subtype of another. This works in the following manner: Suppose you have types S <: T and a function foo[T] that you only want to apply to elements of type T that are not of type S. Then you can write foo[T](implicit notAnS: Not[S <:<T]).

    TODO: Add an "ambiguous implicit" annotation to make this clearer. My scala version does not currently support this.

  10. class TimeOutException extends Exception

Value Members

  1. object Doc
  2. object EitherHelpers
  3. object IgnoreMetrics extends MetricsCollector
  4. object Logger
  5. object Maybe extends Maybe1
  6. object NameGenerator
  7. object Not
  8. object PrintMetrics extends MetricsCollector
  9. object StreamUtils
  10. object generatedUpperSetInPO
  11. object help

    Opens the scala documentation in a browser window.

  12. object linearizeStrictPartialOrder
  13. object metrics extends MetricsCollector
  14. object runProcess
  15. object time
  16. object withTempFile
  17. object withTimeout extends Logger

    runs f with timeout to

    runs f with timeout to

    If f does terminate within to milliseconds returns its result. If not throw a TimeOutException. If f throws an exception it is propagated to the caller of withTimeout.

    Use this as follows: try { withTimeout( 1234 ) { ... your code ... } } catch { case e: TimeOutException ... case ... other exception }

Ungrouped