RefSLL (Attestor Benchmark Collection 0.3.8 API)

Constructors
Constructor and Description
`RefSLL()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`CEG_reverse()`
`void`	`MC_Completeness_reverseWithInitialList()`
`void`	`MC_Completeness_traverseWithInitialList()`
`void`	`MC_Completeness_traverseWithInitialListWithNullVisit()`
`void`	`MC_NeighbourhoodPreservance_reverseWithInitialList()`
`void`	`MC_NeighbourhoodPreservance_traverseWithInitialList()`
`void`	`MC_Reach_reverseWithInitialList()`
`void`	`MC_Reach_traverseWithInitialList()`
`void`	`MC_Shape_reverseWithInitialList()`
`void`	`MC_Shape_traverseWithInitialList()`
`void`	`reverse()`
`void`	`reverseWithInitialList()`

public void MC_Completeness_traverseWithInitialList()

public void MC_Completeness_traverseWithInitialListWithNullVisit()

public void MC_NeighbourhoodPreservance_traverseWithInitialList()

public void MC_Reach_traverseWithInitialList()

public void MC_Shape_traverseWithInitialList()

public void MC_Completeness_reverseWithInitialList()

public void MC_NeighbourhoodPreservance_reverseWithInitialList()

public void MC_Reach_reverseWithInitialList()

public void MC_Shape_reverseWithInitialList()

Class RefSLL