COST Verification Competition
Please send solutions to vladimir@cost-ic0701.org

Challenge 4: Cyclic list

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.