public static IAndAlsoFormulaRef AndAlso(IFormulaRef left, IFormulaRef right, Type type)
{
Required.NotDefault(type, () => type);
return new AndAlsoFormulaRef(left, right, type.ToTypeDecl(), null, null);
}
public static IConstantFormulaRef Constant(object value, Type type)
{
Required.NotDefault(type, () => type);
return Constant(value, type.ToTypeDecl(), null);
}
public static ITypeAsFormulaRef TypeAs(IFormulaRef operand, Type type)
{
Required.NotDefault(type, () => type);
return TypeAs(type.ToTypeDecl(), operand, null, null);
}
public static IVariableFormulaRef Variable(Type type, string name)
{
return Variable(type.ToTypeDecl(), name);
}
public static IConvertFormulaRef Convert(IFormulaRef operand, Type type)
{
Required.NotDefault(type, () => type);
return Convert(type.ToTypeDecl(), operand, null, null);
}
public static INotEqualFormulaRef NotEqual(IFormulaRef left, IFormulaRef right, Type type)
{
Required.NotDefault(type, () => type);
return new NotEqualFormulaRef(left, right, type.ToTypeDecl(), null, null);
}
public NewArrayInitFormula(Formula[] formulas, Type type)
{
formulas.AddRangeTo(Formulas);
TypeDeclaration = type.ToTypeDecl();
}
public VariableFormula(string variableName, Type type)
{
VariableName = variableName;
TypeDeclaration = type.ToTypeDecl();
}
public static ConvertFormula Convert(Formula operand, Type type)
{
return Convert(operand, type.ToTypeDecl());
}
public static ConstantFormula Constant(object value, Type type)
{
return Constant(value, type.ToTypeDecl());
}
public TypeAsFormula(Formula operand, Type type)
{
Operand = operand;
TypeDeclaration = type.ToTypeDecl();
}