
/**
 * Created by IntelliJ IDEA.
 * User: Ye
 * Date: 2006-2-14
 * Time: 21:32:05
 * To change this template use File | Settings | File Templates.
 */
package gprover;
public class incenter extends cclass
{
   // int type;
    int lemma;
    int co;
    int i, a, b, c;
    incenter nx;

    public incenter()
    {
        type = lemma = 0;
        i = a = b = c = 0;
        co = 0;
        nx = null;
    }
}
