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