|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
coverage_
map,
sets maxCoverage=-1
(meaning unknown), and sets
currCoverage_=0
.
Accessor
is the interface that embodies this concept.coverage_
map.
getLoopTolerance()
visits to a state.
generate()
repeatedly until the graph seems to be complete.
node
in order.
java.util.Comparator
and adapts it to the
nz.ac.waikato.jdsl.core.api.Comparator
.java.util.Comparator
.
Comparator
and reverses the
ordering with respect to which the elements are compared.compareTo
method of x1
on
x2
.
a
node
, and replaces
this position with an external node with a null element.
attr
, from the decorable object.
v
ModelTestCase.getResetProbability()
).
RandomTester.getResetProbability()
).
Position
s that are edges.Edge.NONE
state
.
attr
, in this decorable object.
subtreeRoot
of this binary tree is demoted
one level, with all the positions and elements unchanged, and
becomes the right child of a new node storing the given element.
subtreeRoot
of this binary tree is demoted
one level, with all the positions and elements unchanged, and
becomes the left child of a new node, storing the given element.
nz.ac.waikato.jdsl.graph.api
package.item
in the coverage_
map.
node
as the first child.
BinaryTree
interface.Container
for more details.KeyBasedContainer
.PositionalContainer
.Sequence
.Tree
Edge
s is somehow incorrect.compare(o,o)
newSubtree
at external node
node
by replacing node
with the root of
newSubtree
.
t
at external node extNode
by replacing ExtNode
with the root of t
.
Locator
is returned when a method that should
return a locator with a given key can find no such key within
the data structure
Edge
object
with certain properties does not exist in the graph.Vertex
object with certain properties does not exist in the graph.Model.getOutput()
).
node
is deleted, and the sibling of
node
, with all its children, is installed in its
place; node
is also deleted.
node
with the tree
t
.
sut0
is null, then the model runs without
testing any SUT.
getOutput()
stream.Vertex.NONE
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |