public void Store(string name, BitVector val)
{
scalars[name] = val;
}
public void AddRaceArrayOffset(string name, BitVector offset)
{
raceArrayOffsets[name].Add(offset);
}
public LiteralNode(BitVector val)
{
evaluation = val;
}
public static BitVector Concatenate(BitVector a, BitVector b)
{
string bits = a.Bits + b.Bits;
return(new BitVector(bits));
}
public override void ClearState()
{
evaluation = null;
initialised = true;
}
