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 LogHandler extends AnyRef
  4. case class Logger(domain: String) extends Product with Serializable
  5. sealed trait Maybe[+T] extends AnyRef
  6. trait Maybe0 extends AnyRef
  7. trait Maybe1 extends Maybe0
  8. class NameGenerator extends AnyRef
  9. class TimeOutException extends Exception

Value Members

  1. object Doc
  2. object EitherHelpers
  3. object LogHandler
  4. object Logger extends LogHandler with Serializable
  5. object Maybe extends Maybe1
  6. object NameGenerator
  7. object StreamUtils
  8. object generatedUpperSetInPO
  9. object help

    Opens the scala documentation in a browser window.

  10. object linearizeStrictPartialOrder
  11. object quiet extends VerbosityChanger
  12. object runProcess
  13. object time
  14. object verbose extends VerbosityChanger
  15. object withTempFile
  16. object withTimeout

    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