public override vBase substitution(Variable v) { x = v.toInt(); return this; }
public override void xor(Variable v) { x ^= v.toInt(); }
public override void or(Variable v) { x |= v.toInt(); }
public override void sub(Variable v) { x -= v.toInt(); }
public override void mul(Variable v) { x *= v.toInt(); }
public override bool ne(Variable v) { return x != v.toInt(); }
public override bool lt(Variable v) { return x < v.toInt(); }
public override void mod(Variable v) { x %= v.toInt(); }
public override bool gt(Variable v) { return x > v.toInt(); }
public override bool eq(Variable v) { return x == v.toInt(); }
public override void div(Variable v) { x /= v.toInt(); }
public override void and(Variable v) { x &= v.toInt(); }
public override void add(Variable v) { x += v.toInt(); }