RefDLL (Attestor Benchmark Collection 0.3.8 API)

java.lang.Object
- de.rwth.i2.attestorExamples.RefDLL

```
public class RefDLL
extends Object
```

Constructor Summary

Constructors
Constructor and Description

RefDLL()

Constructors
Constructor and Description
`RefDLL()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`buildAndTraverse()`
`void`	`buildList()`
`void`	`CEG_dummyReverse()`
`void`	`CEG_dummyWalkAround()`
`void`	`CEG_findLast_spurious()`
`void`	`CEG_reverse_final_pos()`
`void`	`CEG_traverse_inverse_final_pos()`
`void`	`CEG_walkAround_return()`
`void`	`faultyReverse1_S()`
`void`	`faultyReverse2_S()`
`void`	`faultyReverse3_S()`
`void`	`MC_Completeness_reverseWithInitialList()`
`void`	`MC_Completeness_traverseWithInitialList()`
`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`	`traverse()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- RefDLL
```
public RefDLL()
```

Method Detail

traverse
```
public void traverse()
```

faultyReverse1_S
```
public void faultyReverse1_S()
```

faultyReverse2_S
```
public void faultyReverse2_S()
```

faultyReverse3_S
```
public void faultyReverse3_S()
```

buildList
```
public void buildList()
```

buildAndTraverse
```
public void buildAndTraverse()
```

MC_Completeness_traverseWithInitialList

public void MC_Completeness_traverseWithInitialList()

MC_NeighbourhoodPreservance_traverseWithInitialList

public void MC_NeighbourhoodPreservance_traverseWithInitialList()

MC_Reach_traverseWithInitialList

public void MC_Reach_traverseWithInitialList()

MC_Shape_traverseWithInitialList

public void MC_Shape_traverseWithInitialList()

MC_Completeness_reverseWithInitialList

public void MC_Completeness_reverseWithInitialList()

MC_NeighbourhoodPreservance_reverseWithInitialList

public void MC_NeighbourhoodPreservance_reverseWithInitialList()

MC_Reach_reverseWithInitialList

public void MC_Reach_reverseWithInitialList()

MC_Shape_reverseWithInitialList

public void MC_Shape_reverseWithInitialList()

CEG_reverse_final_pos
```
public void CEG_reverse_final_pos()
```

CEG_traverse_inverse_final_pos

public void CEG_traverse_inverse_final_pos()

CEG_walkAround_return
```
public void CEG_walkAround_return()
```

CEG_dummyReverse
```
public void CEG_dummyReverse()
```

CEG_dummyWalkAround
```
public void CEG_dummyWalkAround()
```

CEG_findLast_spurious
```
public void CEG_findLast_spurious()
```

Class RefDLL

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

RefDLL

Method Detail

traverse

faultyReverse1_S

faultyReverse2_S

faultyReverse3_S

buildList

buildAndTraverse

MC_Completeness_traverseWithInitialList

MC_NeighbourhoodPreservance_traverseWithInitialList

MC_Reach_traverseWithInitialList

MC_Shape_traverseWithInitialList

MC_Completeness_reverseWithInitialList

MC_NeighbourhoodPreservance_reverseWithInitialList

MC_Reach_reverseWithInitialList

MC_Shape_reverseWithInitialList

CEG_reverse_final_pos

CEG_traverse_inverse_final_pos

CEG_walkAround_return

CEG_dummyReverse

CEG_dummyWalkAround

CEG_findLast_spurious