#
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
–
deprecated
es
es.ucm
es.ucm.fdi
es.ucm.fdi.sscheck
(class)
TestCaseIdCounter
es.ucm.fdi.sscheck.gen
(object)
(case class)
Batch
(object)
(class)
BatchGen
(object)
BatchGenConversions
(object)
Buildables
(object)
(trait)
DStreamMatchers
(object)
(class)
FromIterableGen
(object)
(case class)
PDStream
(object)
(class)
PDStreamGen
(object)
PDStreamGenConversions
(object)
RDDGen
(object)
ReGen
(object)
UtilsGen
es.ucm.fdi.sscheck.matcher
es.ucm.fdi.sscheck.matcher.specs2
(object)
RDDMatchers
es.ucm.fdi.sscheck.prop
(object)
UtilsProp
es.ucm.fdi.sscheck.prop.tl
(case class)
Always
(case class)
And
(object)
(case class)
BindNext
(object)
(trait)
DStreamTLProperty
(class)
DynamicTimedAtomsConsumer
(case class)
Eventually
(object)
(trait)
Formula
(case class)
Implies
(case class)
Next
(object)
(class)
NextAnd
(object)
(class)
NextBinaryOp
(trait)
NextFormula
(object)
(class)
NextNext
(class)
NextNot
(object)
(class)
NextOr
(case class)
Not
(case class)
Or
(class)
PropExecutionException
(case class)
Release
(object)
(case class)
Solved
(class)
StaticTimedAtomsConsumer
(object)
(class)
TestCaseContext
(object)
(case class)
TestCaseTimeoutException
(case class)
Time
(class)
TimedAtomsConsumer
(case class)
Timeout
(class)
TimeoutMissingFormula
(case class)
Until
es.ucm.fdi.sscheck.spark
(case class)
Parallelism
(trait)
SharedSparkContext
(trait)
SharedSparkContextBeforeAfterAll
es.ucm.fdi.sscheck.spark.streaming
(trait)
SharedStreamingContext
(trait)
SharedStreamingContextBeforeAfterEach
(object)
StreamingContextUtils
(class)
TestInputStream
(object)
Utils
org
org.apache
org.apache.spark
org.apache.spark.streaming
org.apache.spark.streaming.dstream
(class)
SscheckFriendlyInputDStream
org.specs2
org.specs2.matcher
scalaz
scalaz.syntax