Implemented cval() method and got it to compile. Does not yet implement cval() in setReachability() methods.