Spec

object Spec
class Object
trait Matchable
class Any
Spec.type

Value members

Concrete methods

def cnvInfo(info: Info[Evidence]): Info
def logInfo(str: String, incr: Int): Unit
def matches(matched: Set[Arc], te: TripleExpr): Check[Boolean]
def matchesEachOf(matched: Set[Arc], eachOf: EachOf): Check[Boolean]
def matchesExpr(matched: Set[Arc], e: Expr): Check[Boolean]
def matchesList(arcs: List[Set[Arc]], expressions: List[TripleExpr]): Check[Boolean]
def matchesOneOf(matched: Set[Arc], oneOf: OneOf): Check[Boolean]
def shapeTyping2ResultShapeMap(typing: ShapeTyping, nodesPrefixMap: PrefixMap, shapesPrefixMap: PrefixMap): ResultShapeMap