proxy

gapt.provers.smtlib.SmtInterpolLogger.proxy
object proxy extends LogProxy

Attributes

Source
SmtInterpol.scala
Graph
Supertypes
trait LogProxy
class Object
trait Matchable
class Any
Self type
proxy.type

Members list

Value members

Concrete methods

def changeDestination(newDest: String): Unit

Attributes

Source
SmtInterpol.scala
def debug(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def debug(msg: Any): Unit

Attributes

Source
SmtInterpol.scala
def error(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def error(msg: Any): Unit

Attributes

Source
SmtInterpol.scala
def fatal(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def fatal(msg: Any): Unit

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala
def info(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def info(msg: Any): Unit

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala

Attributes

Source
SmtInterpol.scala
def outOfMemory(msg: String): Unit

Attributes

Source
SmtInterpol.scala
def setLoglevel(level: Int): Unit

Attributes

Source
SmtInterpol.scala
def trace(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def trace(msg: Any): Unit

Attributes

Source
SmtInterpol.scala
def warn(msg: String, params: AnyRef*): Unit

Attributes

Source
SmtInterpol.scala
def warn(msg: Any): Unit

Attributes

Source
SmtInterpol.scala