Automaton

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def acceptingState(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String, output: Option[String] = None): StateConf

Creates an accepting state for the automaton.
Creates an accepting state for the automaton.
drawColor
state color
fillColor
state fill color
textColor
text color
lineStyle
line style
lineSize
line size
id
a state id
name
a state name
output
a state output
returns
an Automaton having the specified accepting state
def acceptingState(id: Int, name: String, output: String): StateConf

Creates an accepting state for the automaton.
Creates an accepting state for the automaton.
id
a state id
name
a state name
output
a state output
returns
an Automaton having the specified accepting state
def acceptingState(id: Int, name: String): StateConf

Creates an accepting state for the automaton.
Creates an accepting state for the automaton.
id
a state id
name
a state name
returns
an Automaton having the specified accepting state
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def edge(drawColor: Color = BLACK, textColor: Color = BLACK, lineStyle: LineStyle = SOLID, lineSize: LineSize = THIN)(from: Int, to: Int, condition: String): EdgeConf

Creates an edge for the automaton.
Creates an edge for the automaton.
drawColor
edge color
textColor
text color
lineStyle
line style
lineSize
line size
from
starting state id
to
ending state id
condition
edge condition
returns
an Automaton having the specified edge
def edge(from: Int, to: Int, condition: String): EdgeConf

Creates an edge for the automaton.
Creates an edge for the automaton.
from
starting state id
to
ending state id
condition
edge condition
returns
an Automaton having the specified edge
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def fatal(message: ⇒ String, cause: Throwable): Nothing

Definition Classes
Logging
def fatal(message: ⇒ String): Nothing

Definition Classes
Logging
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def havingStateDistance(centimeters: Int): Automaton

centimeters
the node distance in centimeters
returns
an Automaton having the given node distance
def initialState(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String): Automaton

Creates an initial state for the automaton.
Creates an initial state for the automaton.
drawColor
state color
fillColor
state fill color
textColor
text color
lineStyle
line style
lineSize
line size
id
a state id
name
a state name
returns
an Automaton having the specified initial state
def initialState(id: Int, name: String): Automaton

Creates an initial state for the automaton.
Creates an initial state for the automaton.
id
a state id
name
a state name
returns
an Automaton having the specified initial state
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val libraries: String

Attributes
protected
Definition Classes
Automaton → TIKZPicture
lazy val logger: Logger

Attributes
protected
Definition Classes
LazyLogging
val name: String

Definition Classes
Automaton → TIKZPicture
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
val nodeDistance: Double

Attributes
protected
Definition Classes
Automaton → TIKZPicture
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def saveAsJPEG(path: String, compiler: Compiler = PDF_LATEX): Try[File]

Save a JPEG generated by the TIKZ picture into the given path.
Save a JPEG generated by the TIKZ picture into the given path.
path
a path to save the generated JPEG
returns
a Try holding the saved JPEG file. In case of non-fatal exception, a Failure object is returned holding the exception.

Definition Classes
TIKZPicture
final def saveAsPDF(path: String, compiler: Compiler = PDF_LATEX): Try[File]

Save a PDF generated by the TIKZ picture into the given path.
Save a PDF generated by the TIKZ picture into the given path.
path
a path to save the generated PDF
returns
a Try holding the saved PDF file. In case of non-fatal exception, a Failure object is returned holding the exception.

Definition Classes
TIKZPicture
final def saveAsPNG(path: String, compiler: Compiler = PDF_LATEX): Try[File]

Save a PNG generated by the TIKZ picture into the given path.
Save a PNG generated by the TIKZ picture into the given path.
path
a path to save the generated PNG
returns
a Try holding the saved PNG file. In case of non-fatal exception, a Failure object is returned holding the exception.

Definition Classes
TIKZPicture
final def saveAsTeX(path: String): Try[File]

Save a TeX generated by the TIKZ picture into the given path.
Save a TeX generated by the TIKZ picture into the given path.
path
a path to save the generated TeX file
returns
a Try holding the saved TeX file. In case of non-fatal exception, a Failure object is returned holding the exception.

Definition Classes
TIKZPicture
val scale: Int

Attributes
protected
Definition Classes
TIKZPicture
final def show(compiler: Compiler = PDF_LATEX): Unit

Generate and open the resulted figure as PDF using the default desktop application used for PDFs.
Generate and open the resulted figure as PDF using the default desktop application used for PDFs.

Definition Classes
TIKZPicture
def state(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String, output: Option[String] = None): StateConf

Creates an internal state for the automaton.
Creates an internal state for the automaton.
drawColor
state color
fillColor
state fill color
textColor
text color
lineStyle
line style
lineSize
line size
id
a state id
name
a state name
output
a state output
returns
an Automaton having the specified state
def state(id: Int, name: String, output: String): StateConf

Creates an internal state for the automaton.
Creates an internal state for the automaton.
id
a state id
name
a state name
output
a state output
returns
an Automaton having the specified state
def state(id: Int, name: String): StateConf

Creates an internal state for the automaton.
Creates an internal state for the automaton.
id
a state id
name
a state name
returns
an Automaton having the specified state
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
Automaton → AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object Automaton | package automata

case class Automaton extends TIKZPicture with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def acceptingState(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String, output: Option[String] = None): StateConf

def acceptingState(id: Int, name: String, output: String): StateConf

def acceptingState(id: Int, name: String): StateConf

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def edge(drawColor: Color = BLACK, textColor: Color = BLACK, lineStyle: LineStyle = SOLID, lineSize: LineSize = THIN)(from: Int, to: Int, condition: String): EdgeConf

def edge(from: Int, to: Int, condition: String): EdgeConf

final def eq(arg0: AnyRef): Boolean

def fatal(message: ⇒ String, cause: Throwable): Nothing

def fatal(message: ⇒ String): Nothing

def finalize(): Unit

final def getClass(): Class[_]

def havingStateDistance(centimeters: Int): Automaton

def initialState(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String): Automaton

def initialState(id: Int, name: String): Automaton

final def isInstanceOf[T0]: Boolean

val libraries: String

lazy val logger: Logger

val name: String

final def ne(arg0: AnyRef): Boolean

val nodeDistance: Double

final def notify(): Unit

final def notifyAll(): Unit

final def saveAsJPEG(path: String, compiler: Compiler = PDF_LATEX): Try[File]

final def saveAsPDF(path: String, compiler: Compiler = PDF_LATEX): Try[File]

final def saveAsPNG(path: String, compiler: Compiler = PDF_LATEX): Try[File]

final def saveAsTeX(path: String): Try[File]

val scale: Int

final def show(compiler: Compiler = PDF_LATEX): Unit

def state(drawColor: Color = Color.BLACK, fillColor: Color = Color.WHITE, textColor: Color = Color.BLACK, lineStyle: LineStyle = LineStyle.SOLID, lineSize: LineSize = LineSize.THICK)(id: Int, name: String, output: Option[String] = None): StateConf

def state(id: Int, name: String, output: String): StateConf

def state(id: Int, name: String): StateConf

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from TIKZPicture

Inherited from Logging

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped