public static bool IsAlwaysReal(Signal signal)
{
return signal.AskForProperty("RealSet", "Std")
|| IsConstant(signal) && RealValue.Converter.CanConvertLosslessFrom(signal.Value)
|| IsAlwaysRational(signal);
}
/// <summary>
/// Whether the signal is restricted to be an integer, that is one of ...,-3,-2,-1,0,1,2,3,...
/// </summary>
public static bool IsAlwaysInteger(Signal signal)
{
return signal.AskForProperty("IntegerSet", "Std")
|| IsConstant(signal) && IntegerValue.Converter.CanConvertLosslessFrom(signal.Value)
|| IsAlwaysNonnegativeInteger(signal);
}
//public static Signal Constant(Context context, ValueStructure value)
//{
// Signal s = new Signal(context, value);
// s.Label = "Constant_" + value.ToString();
// s.Properties.AddProperty(Properties.ConstantSignalProperty.Instance);
// return s;
//}
public static bool IsConstant(Signal signal)
{
return signal.AskForProperty("Constant", "Std");
}
//public static Signal Constant(Context context, ValueStructure value)
//{
// Signal s = new Signal(context, value);
// s.Label = "Constant_" + value.ToString();
// s.AddConstraint(Properties.ConstantSignalProperty.Instance);
// return s;
//}
public static bool IsConstant(Signal signal)
{
if(signal == null)
throw new ArgumentNullException("signal");
return signal.AskForProperty("Constant", "Std");
}
public static bool IsAlwaysReal(Signal signal)
{
if(signal == null)
throw new ArgumentNullException("signal");
return signal.AskForProperty("RealSet", "Std")
|| IsConstant(signal) && RealValue.Converter.CanConvertLosslessFrom(signal.Value)
|| IsAlwaysRational(signal);
}
//public static bool IsConstantZero(Signal signal)
//{
// return IsConstant(signal) && (signal.Value.ToString() == "0");
//}
//public static bool IsConstantOne(Signal signal)
//{
// return IsConstant(signal) && (signal.Value.ToString() == "1");
//}
/// <summary>
/// Whether the signal is restricted to be an integer > 0, that is one of 1,2,3,...
/// </summary>
public static bool IsAlwaysPositiveInteger(Signal signal)
{
if(signal == null)
throw new ArgumentNullException("signal");
return signal.AskForProperty("PositiveIntegerSet", "Std")
|| IsConstant(signal) && IntegerValue.Converter.CanConvertLosslessFrom(signal.Value) && IntegerValue.ConvertFrom(signal.Value).Value > 0;
}
