PartitionUtils

es.weso.shex.validator.PartitionUtils$

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

final case class Available[A](values: Set[A]) extends AnyVal

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class AnyVal
trait Matchable
class Any
trait Entry[A, B]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def allowed[A, B](s: Set[Entry[A, B]], available: Available[A]): Boolean
def matchLine[A, B](ps: List[Available[A]], line: List[Set[Entry[A, B]]]): Boolean
def partsOver[A, B](set: Set[Entry[A, B]], ps: List[Available[A]]): LazyList[List[Set[Entry[A, B]]]]

Create possible partitions of a set of entries over a list of available elements

Create possible partitions of a set of entries over a list of available elements

Attributes

Type

of values

partsOver(set = Set(E("p", 1), E("p", 2))),
          ps = List(Set("p"), Set(), Set("p"))
      LazyList(List(Set(E("p", 1), E("p", 2)), Set(), Set()),
               List(Set(E("p", 2)), Set(), Set(E("p", 1))),
               List(Set(E("p", 1)), Set(), Set(E("p", 2))),
               List(Set(), Set(), Set(E("p", 1), E("p", 2)))
))
ps

List of available elements

set

Set of entries