C# (CSharp) Verophyle.CSLogic Varの例

コード例 #1

ファイル: Literal.cs プロジェクト: apterid/apterid-bootstrap

 public override Goal<Type> ResolveType(Var type)
 {
     return Goal.Disj(
         Goal.Conj(Goal.Pred<Type>(type, _ => IntValue.CompareTo(System.Int32.MaxValue) <= 0),
                   Goal.Unify<Type>(type, Builtins.SystemInt32.Instance)),
         Goal.Unify<Type>(type, Builtins.SystemNumericsBigInteger.Instance)
     );
 }

コード例 #2

ファイル: Expression.cs プロジェクト: apterid/apterid-bootstrap

 public abstract Goal<Type> ResolveType(Var type);