gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.utils

gapt.utils

package gapt.utils

Members list

Type members

Classlikes

class Counter

Attributes

Source
Counter.scala
Supertypes
class Object
trait Matchable
class Any
sealed trait Doc

Attributes

Companion
object
Source
Doc.scala
Supertypes
class Object
trait Matchable
class Any
object Doc

Attributes

Companion
trait
Source
Doc.scala
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Doc.type
object EitherHelpers

Attributes

Source
EitherHelpers.scala
Supertypes
class Object
trait Matchable
class Any
Self type
trait ExceptionTag[T]

Allows to tag an exception with additional debugging data. It could be used as follows:

Allows to tag an exception with additional debugging data. It could be used as follows:

if (isBad( element ) ) throw new Exception with ExceptionTag[Element] { tag = element }

and be used in a try pattern match on the command-line.

Attributes

Source
ExceptionTag.scala
Supertypes
class Object
trait Matchable
class Any
trait ExternalProgram

Attributes

Source
ExternalProgram.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class EProver
object EProver
object IProver
class LeanCoP
object LeanCoP
object MiFuMaX
object MiniMaxSAT
object OpenWBO
object QMaxSAT
object ToySAT
object ToySolver
class Metis
object Metis
class Prover9
object Prover9
class Glucose
object Glucose
object MiniSAT
class PicoSAT
object PicoSAT
class CVC4
object CVC4
class Z3
object Z3
class SPASS
object SPASS
class Vampire
object Vampire
object VampireCASC
class VeriT
object VeriT
Show all
trait LogHandler

Attributes

Companion
object
Source
Logger.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object default
object silent
object tstp
object Logger
Show all
object LogHandler

Attributes

Companion
trait
Source
Logger.scala
Supertypes
class Object
trait Matchable
class Any
Self type
LogHandler.type
case class Logger(domain: String)

Attributes

Companion
object
Source
Logger.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
object SlakjeLogger
object Logger extends LogHandler

Attributes

Companion
class
Source
Logger.scala
Supertypes
trait Product
trait Mirror
trait LogHandler
class Object
trait Matchable
class Any
Show all
Self type
Logger.type
sealed trait Maybe[+T]

Attributes

Companion
object
Source
Maybe.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object None
class Some[T]
object Maybe extends Maybe1

Attributes

Companion
trait
Source
Maybe.scala
Supertypes
trait Sum
trait Mirror
trait Maybe1
trait Maybe0
class Object
trait Matchable
class Any
Show all
Self type
Maybe.type
trait Maybe0

Attributes

Source
Maybe.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Maybe1
object Maybe
trait Maybe1 extends Maybe0

Attributes

Source
Maybe.scala
Supertypes
trait Maybe0
class Object
trait Matchable
class Any
Known subtypes
object Maybe
class MetricsPrinter extends LogHandler

Attributes

Source
MetricsPrinter.scala
Supertypes
trait LogHandler
class Object
trait Matchable
class Any
Known subtypes
class MetricsPrinterWithMessages extends MetricsPrinter

Attributes

Source
MetricsPrinter.scala
Supertypes
trait LogHandler
class Object
trait Matchable
class Any
object NameGenerator

Attributes

Companion
class
Source
NameGenerator.scala
Supertypes
class Object
trait Matchable
class Any
Self type
class NameGenerator(initiallyUsed: Iterable[String])

Attributes

Companion
object
Source
NameGenerator.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class Statistic[T](n: Int, min: T, max: T, avg: BigDecimal, median: BigDecimal, sigma_square: Option[BigDecimal]) extends Serializable

Holds the statistic parameters of a collection of elements of type a numerical type T

Holds the statistic parameters of a collection of elements of type a numerical type T

Type parameters

T

the type of elements the collection contains

Value parameters

avg

the average element

max

the maximal element

median

the median element

min

the minimal element

n

the size of the data

sigma_square

the square of the standard deviation (only exists for n >= 2)

Attributes

Companion
object
Source
Statistics.scala
Supertypes
trait Product
trait Equals
trait Serializable
class Object
trait Matchable
class Any
Show all
object Statistic

Companion object to Statistic. Provides a csv header and convenience methods for statistic options and empty data lists.

Companion object to Statistic. Provides a csv header and convenience methods for statistic options and empty data lists.

Attributes

Companion
class
Source
Statistics.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Statistic.type
object StreamUtils

Attributes

Source
streams.scala
Supertypes
class Object
trait Matchable
class Any
Self type
class TimeOutException(cause: Throwable, val duration: Duration) extends Exception

Attributes

Source
timeout.scala
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
case class Tree[+T](value: T, children: Vector[Tree[T]])

Attributes

Companion
object
Source
Tree.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Tree

Attributes

Companion
class
Source
Tree.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Tree.type
object UNone

Attributes

Source
uoption.scala
Supertypes
class Object
trait Matchable
class Any
Self type
UNone.type
final class UOption[+T](t: T) extends AnyVal

Unboxed option type similar to Option[T].

Unboxed option type similar to Option[T].

Note that USome(UNone()) == UNone() and USome(null) == UNone().

Attributes

Source
uoption.scala
Supertypes
class AnyVal
trait Matchable
class Any
object USome

Attributes

Source
uoption.scala
Supertypes
class Object
trait Matchable
class Any
Self type
USome.type
object generatedUpperSetInPO

Attributes

Source
posets.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object help

Opens the scala documentation in a browser window.

Opens the scala documentation in a browser window.

Attributes

Source
help.scala
Supertypes
class Object
trait Matchable
class Any
Self type
help.type
object linearizeStrictPartialOrder

Attributes

Source
posets.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object quiet

Attributes

Source
Logger.scala
Supertypes
class Object
trait Matchable
class Any
Self type
quiet.type
object runProcess

Attributes

Source
runProcess.scala
Supertypes
class Object
trait Matchable
class Any
Self type
runProcess.type
object shortestPath

Attributes

Source
package.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object time

Attributes

Source
time.scala
Supertypes
class Object
trait Matchable
class Any
Self type
time.type
object transitiveClosure

Attributes

Source
posets.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object verbose

Attributes

Source
Logger.scala
Supertypes
class Object
trait Matchable
class Any
Self type
verbose.type
object withTempFile

Attributes

Source
tempFiles.scala
Supertypes
class Object
trait Matchable
class Any
Self type
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.

Attributes

Example 
try { withTimeout( 1234 ) {
 /* ... your code ... */
} } catch {
 case e: TimeOutException /* ... */
 /* other exceptions */
}
Source
timeout.scala
Supertypes
class Object
trait Matchable
class Any
Self type
object zipped

Attributes

Source
zipped.scala
Supertypes
class Object
trait Matchable
class Any
Self type
zipped.type

Value members

Concrete methods

def crossProduct[T](xs: Seq[Iterable[T]]): Iterable[Seq[T]]

Attributes

Source
package.scala
def symmetricClosure[T](xs: Set[(T, T)]): Set[(T, T)]

Attributes

Source
package.scala
def unorderedPairsOf[T](elements: Iterable[T]): Iterable[(T, T)]

Attributes

Source
package.scala
Generated with