Packages

p

at.logic.gapt

utils

package utils

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. trait ExternalProgram extends AnyRef
  2. trait Logger extends AnyRef
  3. trait MetricsCollector extends AnyRef
  4. class NameGenerator extends AnyRef
  5. 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.

  6. class TimeOutException extends Exception

Value Members

  1. object IgnoreMetrics extends MetricsCollector
  2. object Logger
  3. object NameGenerator
  4. object Not
  5. object PrintMetrics extends MetricsCollector
  6. object ScalazHelpers
  7. object StreamUtils
  8. object generatedUpperSetInPO
  9. object help

    Opens the scala documentation in a browser window.

  10. object linearizeStrictPartialOrder
  11. object metrics extends MetricsCollector
  12. object runProcess
  13. object time
  14. object withTempFile
  15. 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