public VARTerm(VARType var_type, int[] intVal)
{
base.TermType = TermTypes.VAR;
base.val = null;
base.val = new int[intVal.Length + 1];
base.val[0] = (int)var_type;
Array.ConstrainedCopy(intVal, 0, base.val, 1, intVal.Length);
}
public VARTerm(VARType var_type, uint[] intVal)
{
unchecked
{
variableType = var_type;
base.TermType = TermTypes.VAR;
base.val = null;
base.val = new uint[intVal.Length + 1];
base.val[0] = (uint)var_type;
Array.ConstrainedCopy(intVal, 0, base.val, 1, intVal.Length);
}
}
