問題タブ [predicate]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
predicate - Coq を使用した述語ロジックの証明 - 初級構文
Coqで次のことを証明しようとしています:
目標 (forall x:X, P(x) /\ Q(x)) -> ((forall x:X, P (x)) /\ (forall x:X, Q (x)))。
誰か助けてくれませんか？分割するかどうか、仮定などを行うかどうかはわかりません。
完全な初心者で申し訳ありません
linq - Linqを使用したサブセットのフィルタリング
列挙が非常に長く、大きすぎてリストに合理的に変換できないと想像してください。リストから重複を削除したいとも想像してみてください。最後に、最初の列挙のごく一部だけが重複を含む可能性があることを私が知っていると想像してください。最後のポイントは問題を実用的にします。
基本的に、いくつかの述語に基づいてリストをフィルターで除外し、そのサブセットでDistinct（）のみを呼び出しますが、述語がfalseを返した列挙と再結合します。
誰かがこれを行うための良い慣用的なLinqの方法を考えることができますか？質問は次のように要約されると思います。
Linqを使用して、述語列挙に対して選択的な処理を実行し、結果ストリームを述語から拒否されたケースと再結合するにはどうすればよいですか？
c++ - STL セットのポインター デリゲート
ポインターデリゲートを使用したセットの使用にちょっとこだわっています。私のコードは次のとおりです。
ここで、NodeSet は次のように定義されます。
上記のコードは私の Windows マシンでは完全に機能しますが、同じコードを MAC で実行すると、次のエラーが表示されます。
Graph::addNode(const boost::shared_ptr<Node>&)' ' の呼び出しに一致する関数がありません
参考までに、 Node_ptr のタイプは次のとおりです。typedef boost::shared_ptr<Node> Node_ptr;
なぜこれが起こっているのか誰か教えてもらえますか？
c# - Linq to Sql 複数のテーブルから選択
Linq を使用して C# で複数のテーブルから選択することについて質問があります。
テーブル構造は次のようになります。
表 A
TableAID 列 1 列 2
TABLE B
TableBID TableAID Column3 Column4
だから私は持っているコードで：
Column1 の where を使用してテーブル A からレコードを選択する場合は、次のようにします。
しかし、myView を TableA のクエリ可能として保持したい場合、および外部キーで TableA にリンクされている Column3 の TableB の where を使用したい場合は、どうすればよいでしょうか?
次のことを試しましたが、成功しませんでした：
助言がありますか？
前もって感謝します
iphone - iPhone：述語オブジェクトのindexPathを取得する
述語を使用してコアデータ内のオブジェクトを検索しています。必要なオブジェクトを正常に見つけることができますが、そのオブジェクトの詳細ビューをプッシュできるように、そのオブジェクトのindexPathも取得する必要があります。現在、オブジェクトを取得するための次のコードがあります。
したがって、オブジェクトを正しく配列に入れることができます。 しかし、どうすればそのオブジェクトをindexPathに変換できますか？
java - Javaの述語
PredicateJavaで使用するコードを調べています。私は使ったことがありませんPredicate。誰かが私PredicateにJavaでの実装のチュートリアルや概念的な説明を教えてもらえますか？
c++ - bind を使用して ::second ペア メンバーに基づいてソートされた std::pair でセットを作成するにはどうすればよいですか
私は以下を使用できることを知っています：
しかし、boost::bind で実行できるかどうか疑問に思いました
ipad - iPad: CoreData FetchedRequest が述語の変更を無視する
iPad アプリのプログラミング中に、「動的」述語で fetchedResultsController を使用すると問題が発生します。述語への変更が無視されるようです。述語がどのように変化しても、常に最初のフェッチの結果が得られます...
iphone-env (3.1.x) でも同じコードが問題なく動作します!!
サンプル ：
誰でも助けてくれますか？
ところで: 私のつらい英語を許してください ;-)
c++ - 複合キーを使用して multi_index_continder のカスタム述語を作成する方法は?
ブーストの男をグーグルで検索しましたが、例は見つかりませんでした。ばかげた質問かもしれません... とにかく。
この男性の有名な電話帳があります。
my_custom_comp() はどのように見えるべきですか? 私にとっては明らかであり、それはboost::multi_index::composite_key_result<CompositeKey>引数として取られます(コンパイルエラーのため:))が、その特定のケースでは CompositeKey は何ですか?
前もって感謝します。
cocoa - NSString *predicateFormat 2 つのエンティティを検索する方法
こんにちは、ばかげた質問で申し訳ありませんが、ここで単純なものが欠けている可能性があり、自分で理解できないと思います。
次のコードを使用してテーブルビューを検索しようとしています:
私が達成したいのは、ユーザーがテーブルを検索して、「名前」だけでなく「年齢」でも検索できるようにすることです!
上記の私のコードは「名前」のみを検索します
簡単なものがありませんか？
お時間をいただきありがとうございます