scroll.internal.formal.FormalRoleGroup.scala Maven / Gradle / Ivy
The newest version!
package scroll.internal.formal
/**
* Class representation of role groups.
*
* @param rolegroups nested role groups if any
* @param lower lower bound as int
* @param upper upper bound as int
*/
case class FormalRoleGroup(rolegroups: List[AnyRef], lower: Int, upper: Int) {
assert(0 <= lower && lower <= upper)
}