/* @(#)Methods.java   27 September 2007 */

import edu.neu.ccs.jpf.*;

public class Methods extends JPF 
{
    
    public static void main(String[] args) { 
        Methods methods = new Methods();
    }
    
    public double Square(double x) { return x * x; }
    
    public double SquareRoot(double x) { return Math.sqrt(x); }
    
    public double Inverse(double x) { return 1 / x; }
    
}