bterm.java

public class bterm extends node {
    public String name;

    public     bterm( String n ) {
        name = n;
    }

    public     node klone() {
        return new bterm( name );
    }

    public node simplify() {
        return this;
    }
    public String toString() {
        return name;
    }

    public String cnf2String() {
        return name;
    }

    public     node cnf() {
        return this;
    }
}