rbe
rbe
es.weso.collection
Bag
Bag
BagSortedMap
BagSortedMap
es.weso.graph
Direct
DirectEdge
DirectedEdge
Graph
Graph
GraphMap
Inverse
InverseEdge
Neigh
es.weso.rbe
And
AndShape
Attempt
BagChecker
BagChecker
CardinalityZeroZeroDeriv
Empty
Fail
IntervalError
Matcher
MatcherLog
MaxCardinalityZeroFoundValue
MsgError
NonNullableError
NotShape
Or
Plus
RangeLowerBoundBigger
RangeNegativeLowerBound
Rbe
Rbe
RbeError
Repeat
RepeatsError
Schema
Schema
Shape
Shape
ShowRbe
SingleShape
Star
Symbol
Unexpected
UnexpectedEmpty
nodeShape
ConjRef
DisjRef
NodeShape
NodeShape
OrShape
Pred
Ref
RefNot
es.weso.rbe.deriv
DerivChecker
es.weso.rbe.interval
IntLimit
IntOrUnbounded
IntOrUnbounded
IntOrUnboundedException
Interval
IntervalChecker
IntervalChecker
IntervalsException
Unbounded
rbe
/
es.weso.rbe.interval
/
IntOrUnbounded
IntOrUnbounded
object
IntOrUnbounded
Companion:
class
Graph
Supertypes
Self type
trait
Sum
trait
Mirror
class
Object
trait
Matchable
class
Any
IntOrUnbounded
.type
Type members
Value members
Implicits
Type members
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Inherited from:
Mirror
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Value members
Concrete methods
def
apply
(
o:
Option
[
Int
]):
IntOrUnbounded
def
divIntLimitDown
(
x:
Int
,
y:
IntOrUnbounded
):
IntOrUnbounded
def
divIntLimitUp
(
x:
Int
,
y:
IntOrUnbounded
):
IntOrUnbounded
def
fromInt
(
n:
Int
):
IntOrUnbounded
Concrete fields
lazy
val
_0
:
IntLimit
lazy
val
_1
:
IntLimit
Implicits
Implicits
implicit
val
encodeIntOrUnbounded
:
Encoder
[
IntOrUnbounded
]
implicit
def
int2LimitInt
(
x:
Int
):
IntLimit