SCROLL/scroll.internal.formal/FormalUtils

FormalUtils

object FormalUtils

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

class Object
trait Matchable
class Any

Value members

Concrete methods

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

true iff the provided list only contains true, false otherwise

def any(on: List[Boolean]): Boolean
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 Params
T

the type of the contained elements

Value Params
sets

the list of sets to check

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
Returns

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