Searched defs:ExpireFact (Results 1 – 1 of 1) sorted by relevance
265 class ExpireFact : public Fact { class271 ExpireFact(LoanID LID) : Fact(Kind::Expire), LID(LID) {} in ExpireFact() function in clang::__anon2e25c8880111::ExpireFact