Representation of CaleyGraph corresponding to aut with given nodes.
Can be constructed by companion object
Graphs are considered equal by nodes, regardless of aut
Linear Supertypes
AnyRef, Any
Ordering
Alphabetic
By Inheritance
Inherited
CaleyGraph
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Instance Constructors
newCaleyGraph(aut: A, graph: A, boxMap: Map[A.State, Box[A]], stateMap: Map[Box[A], A.State])
Representation of CaleyGraph corresponding to aut with given nodes. Can be constructed by companion object Graphs are considered equal by nodes, regardless of aut