rbe
rbe
es.weso.collection
Bag
Bag
BagSortedMap
BagSortedMap
es.weso.rbe
And
AndShape
Attempt
BagChecker
BagChecker
CardinalityZeroZeroDeriv
Direct
DirectEdge
DirectedEdge
Empty
Fail
Graph
Graph
GraphMap
IntervalError
Inverse
InverseEdge
Matcher
MatcherLog
MaxCardinalityZeroFoundValue
MsgError
Neigh
NonNullableError
NotShape
Or
Plus
RangeLowerBoundBigger
RangeNegativeLowerBound
Rbe
Rbe
RbeError
Repeat
RepeatsError
Schema
Schema
Shape
Shape
ShowRbe
SingleShape
Star
StringGraph
StringGraph
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
es.weso.utils
Read
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 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
Concrete fields
lazy
val
_0
:
IntLimit
lazy
val
_1
:
IntLimit
Implicits
Implicits
implicit
val
encodeIntOrUnbounded
:
Encoder
[
IntOrUnbounded
]
implicit
def
int2LimitInt
(x:
Int
):
IntLimit