Как искать между двумя датами в LINQ к Объекту?

Question

Как искать между двумя датами в LINQ к Объекту?

Тактика, которую вы хотите, это destruct .

Theorem splitting_disjunctions_in_hypotheses : forall (n : nat),
  ((n < 5) \/ (n > 8)) -> ((n > 7) \/ (n < 6)).
Proof.
  intros n H1.
  destruct H1.

Если вы хотите назвать получившиеся гипотезы, вы можете сделать destruct H1 as [name1 | name2]..

24

linq-to-entities linq .net

задан abatishchev 15 April 2012 в 20:01

1 ответ

Другие вопросы по тегам:

linq-to-entities linq .net

Похожие вопросы:

score 33 · Answer 1

Я предполагаю C #.

DateTime startDate=bla;
DateTime endDate=blabla;
using(var db=new MyDataContext())
{
    var filteredData=db.TABLE.Where(t => t.DATE > startDate && t.DATE < endDate);
    //...
}