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();
}
