Cyclic list

July 1, 2012 – 4 years, 8 months ago, by sarahgrebing

Short Description

Given: A Java linked data structure with the signature:

public class Node {

    Node next;
    
    public boolean cyclic() {
        //...
    }

}

Implement and verify the method cyclic() to return true when the data
structure is cyclic (i.e., this Node can be reached by following next
links) and false when it is not.

Code

Specification

Long Description

Supplementary Materials

This problem was posed as challenge 4 at the COST Verification Competition 2011.

Submitted by

Sarah Grebing (based on the challenges given in the COST Verification Competition 2011)