ACSet

semagrams.flatacsets.ACSet
See theACSet companion object
case class ACSet[S](schema: S, counter: Int, globalMap: PropMap, parts: Map[Ob, Seq[Part]], props: Map[Part, PropMap])(implicit evidence$1: IsSchema[S])

Attributes

Companion:
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def addPart(ob: Ob, pm: PropMap): (ACSet[S], Part)
def addPart(ob: Ob): (ACSet[S], Part)
def incident(f: Property, dom: Ob, y: Value): Seq[Part]
def incident(f: HomWithDom, y: Part): Seq[Part]
def incident(f: AttrWithDom, y: Value): Seq[Part]
def moveFront(x: Part): ACSet[S]
def remPart(x: Part): ACSet[S]
def remSubpart(f: Property, x: Part): ACSet[S]
def setSubpart(f: Property, x: Part, y: Value): ACSet[S]
def setSubparts(x: Part, pm: PropMap): ACSet[S]
def setSubparts(pms: Iterable[(Part, PropMap)]): ACSet[S]
def subpart(f: Property, x: Part): Value
def trySubpart(f: Property, x: Part): Option[Value]

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product