gapt
2.18.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
object TipSmtImporter.type
class EProver
object EProver.type
object IProver.type
class LeanCoP
object LeanCoP.type
object MiFuMaX.type
object MiniMaxSAT.type
object OpenWBO.type
object QMaxSAT.type
object ToySAT.type
object ToySolver.type
class Metis
object Metis.type
class Prover9
object Prover9.type
object Prover9Importer.type
class Glucose
object Glucose.type
object MiniSAT.type
class PicoSAT
object PicoSAT.type
class CVC4
object CVC4.type
class Z3
object Z3.type
class SPASS
object SPASS.type
class Vampire
object Vampire.type
object VampireCASC.type
class VeriT
object VeriT.type
Show all
trait LogHandler

Attributes

Companion
object
Source
Logger.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object default.type
object silent.type
object tstp.type
object Logger.type
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 EscargotLogger.type
object SlakjeLogger.type
object SmtInterpolLogger.type
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.type
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.type
trait Maybe1 extends Maybe0

Attributes

Source
Maybe.scala
Supertypes
trait Maybe0
class Object
trait Matchable
class Any
Known subtypes
object Maybe.type
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