Packages

p

at.logic.gapt

utils

package utils

Content Hierarchy
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. sealed trait LogSeverity extends AnyRef
  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 LogSeverity
  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 logger
  12. object runProcess
  13. object time
  14. object verbose
  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