gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.prooftool/ProofColorizer

ProofColorizer

gapt.prooftool.ProofColorizer
class ProofColorizer extends Colorizer

Attributes

Source
TreeVizView.scala
Graph
Supertypes
trait Colorizer
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def get(w: Float): Color

Attributes

Source
TreeVizView.scala
Generated with