subtype

    0热度

    1回答

    在勒柯克，如何构建“SIG”型

    的元素，类型为A的一个简单的归纳定义： Inductive A: Set := mkA : nat-> A. (*get ID of A*) Function getId (a: A) : nat := match a with mkA n => n end. 和子类型的定义： (* filter that test ID of *A* is 0 *) Function filter
    types casting coq subtype 2017-07-07

    0热度

    1回答

    如何使用CATransition类型和子类型

    任何人都可以分享CATransition类型和子类型属性的重要性。我一直在玩这两个属性，但无法找到运行应用程序时的差异。可能是，我是不使用它应该被使用的方式。任何人都可以清楚地知道何时使用子类型？并且在类型和子类型之间是否有任何联系。什么时候使用什么以及如何弄清楚在什么样的过渡效果中要使用什么。 我没有任何形式的idea.i只是空的这种用法。最好的解释与例子将非常感激和投票。
    ios types catransition subtype 2016-04-21

    1热度

    1回答

    Oracle - 如何投入子类型的引用？

    我使用Oracle数据库和我有这种类型的亚型有： CREATE TYPE t_foo AS OBJECT (id INTEGER) NOT FINAL; CREATE TYPE t_foo1 UNDER t_foo() NOT FINAL; 我有t_foo在那里我还可以存储的t_foo CREATE TABLE foo OF t_foo; INSERT INTO foo VALUE
    sql oracle oracle11g ref subtype 2017-04-04

    -1热度

    1回答

    找出std :: type_info对象是否是C++中另一个std :: type_info对象的子类型

    我有两个指针std::type_info t1和std::type_info t2。 我如何知道t1是t2的子类型？ 我没有其他信息可用。
    c++ types rtti subtype 2017-02-17

    1热度

    1回答

    穆斯：亚型消息不显示

    我开始使用穆斯。这里是我的测试封装代码： package MyTest; use Moose; use Moose::Util::TypeConstraints; subtype 'MyStatus', as 'Int', where { $_ >= 0 && $_ < 10 }, message { "Wrong status: $_" }; ha
    perl moose subtype 2016-11-11

    2热度

    3回答

    Java Passing Type作为函数期望子类型的参数

    我是Java新手，我尝试制作一些非常简单的Java应用程序。在我的尝试中，我遇到了泛化的问题。我有一个人对象的列表。 人可以是父亲或母亲。 然后，我有几个同名方法eat（...）但它们在输入参数上有所不同。这些方法不是类类的一部分。其中一种方法接受母亲作为参数，另一种接受父亲。 问题是如何动态决定在人列表上调用哪个方法。当我试图通过列表迭代并调用o.eat（迭代器）它与编译器错误提示，因为迭代器是
    java generics subtype generalization 2016-04-29

    1热度

    1回答

    VHDL：使用std_logic与使用std_logic_vector的子类型的数组

    我有多个属于一起的输入（在相同的时钟等采样），但在逻辑上不是一个矢量（即不是并行总线）我需要修改的代码。 此前，他们被定义为 type my_type is array (my_width - 1 downto 0) of std_logic; signal my_signal : my_type; 直到现在，为此，我一直用这个： subtype my_subtype is std_logi
    types vhdl subtype 2017-09-13

    3热度

    1回答

    在常见的lisp中，返回两个对象最具体的超类型的函数是什么？

    我对SBCL的适用性最感兴趣，但也对Common Lisp的其他实现感到好奇。我们的type hierarchy。 我想要一个函数，给定两个对象作为参数，返回符号表示适用于这两个对象的最具体的超类型。它的使用看起来是这样的： (most-specific-super-type x y) 因此，举例来说，短浮子和长期浮动的两个子类型的超类型float的。 如果比较长浮点数和整数，最具体的超级类型
    types common-lisp subtype supertype 2017-04-22

    1热度

    1回答

    Ada类型声明语义

    我正在大学攻读Ada。今天，我的教授向我们提出了一个问题。在下面的代码中有三个类型声明。第三个不会编译错误“缺少新的”。 我假设的“类型”关键字让编译器知道我们即将定义的存储类，所以我的问题是： 哪些声明之间的语义差别？ 如果省略关键字Integer，那么Ada在指定范围时是否采用通用整数类型？这似乎是一个明显而合乎逻辑的结果。此外，当“范围”之前的关键字“整数”是新的，那么是否需要？ 我希望这不
    types compiler-errors declaration ada subtype 2017-03-06

    1热度

    2回答

    参数化VHDL亚型

    我知道这是可能创造一个定义的范围的一个亚型，e.g： subtype ADDRESS is UNSIGNED range (32 downto 0); 是否有可能建立一个参数化类型/子类型？基本上保留'32'的值由用户在制作ADDRESS类型的变量时定义。例如： subtype ADDRESS is UNSIGNED range (f(x)) downto 0; 其中f（）是在另一个预定义
    types vhdl subtype 2017-03-07
最新问题