SCROLL
API
Generated with
SCROLL/scroll/scroll.internal/scroll.internal.formal/FormalUtils

FormalUtils

scroll.internal.formal.FormalUtils
object FormalUtils

Collection of some helper functions for the formal representation of CROM.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def all(on: List[Boolean]): Boolean

Attributes

Returns

true iff the provided list only contains true, false otherwise

def any(on: List[Boolean]): Boolean

Attributes

Returns

true iff the provided list contains true at least once, false otherwise.

def atoms[T >: Null <: AnyRef](a: AnyRef): List[T]
def evaluate[NT >: Null <: AnyRef, RT >: Null <: AnyRef, CT >: Null <: AnyRef, RST >: Null <: AnyRef](a: AnyRef, croi: FormalCROI[NT, RT, CT, RST], o: NT, c: CT): Int
def mutualDisjoint[T](sets: List[List[T]]): Boolean

Type parameters

T

the type of the contained elements

Value parameters

sets

the list of sets to check

Attributes

Returns

true iff the given sets are mutually disjoint to each other

def totalFunction[T, RT](domain: List[T], foo: Map[T, List[RT]]): Boolean

Attributes

Returns

true iff the mapping in foo provides a total function in the domain of 'domain'

Generated with