object
Angluin
extends AnyRef
Type Members
-
case class
Acceptor
() extends Product with Serializable
-
case class
Alphabet
() extends Product with Serializable
-
-
type
Expression
= List[Symbol]
-
-
trait
Grammar
extends AnyRef
-
-
-
case class
Language
(sequences: List[Expression]) extends Product with Serializable
-
class
Learner
extends AnyRef
-
case class
MemorizingLearner
(T: Text) extends Learner with Product with Serializable
-
class
Partition
extends AnyRef
-
-
-
case class
Quotient
(A: Acceptor, π: Partition) extends Product with Serializable
-
case class
Symbol
(s: String) extends Product with Serializable
-
case class
Text
(expressions: List[Expression]) extends Product with Serializable
Value Members
-
def
!=
(arg0: AnyRef): Boolean
-
def
!=
(arg0: Any): Boolean
-
def
##
(): Int
-
def
==
(arg0: AnyRef): Boolean
-
def
==
(arg0: Any): Boolean
-
def
asInstanceOf
[T0]
: T0
-
def
clone
(): AnyRef
-
def
eq
(arg0: AnyRef): Boolean
-
def
equals
(arg0: Any): Boolean
-
def
finalize
(): Unit
-
def
getClass
(): java.lang.Class[_]
-
def
hashCode
(): Int
-
def
isInstanceOf
[T0]
: Boolean
-
def
ne
(arg0: AnyRef): Boolean
-
def
notify
(): Unit
-
def
notifyAll
(): Unit
-
def
synchronized
[T0]
(arg0: ⇒ T0): T0
-
def
toString
(): String
-
def
wait
(): Unit
-
def
wait
(arg0: Long, arg1: Int): Unit
-
def
wait
(arg0: Long): Unit
-
val
▦
: List[Symbol]
Inherited from AnyRef
Inherited from Any