preprocess.cpp File Reference

Go to the source code of this file.

Typedefs

• typedef Hash_Table< Expr,
  Expr > CareSet
• typedef Hash_Ptr< Expr, Expr > CareSetPtr
• typedef Dict< Expr, CareSet * > Queue
• typedef Dict_Ptr< Expr, CareSet * > QueuePtr
• typedef ExprMap< Theorem > Table

Functions

• static int cf (Expr x, Expr y)
• static size_t hf (const Expr x)
• static size_t mf (const Expr x, const Expr y)
• static void update_queue (Queue *q, Expr e, CareSet *cs_prime)

---

Typedef Documentation

typedef Hash_Table<Expr, Expr> CareSet

Definition at line 64 of file preprocess.cpp.

typedef Hash_Ptr<Expr, Expr> CareSetPtr

Definition at line 65 of file preprocess.cpp.

typedef Dict<Expr, CareSet*> Queue

Definition at line 66 of file preprocess.cpp.

typedef Dict_Ptr<Expr, CareSet*> QueuePtr

Definition at line 67 of file preprocess.cpp.

typedef ExprMap<Theorem> Table

Definition at line 69 of file preprocess.cpp.

---

Function Documentation

static int cf (  Expr  x, Expr  y )  [static]

Definition at line 71 of file preprocess.cpp. References CVCL::Expr::getIndex().

static size_t hf (  const Expr  x  )  [static]

Definition at line 73 of file preprocess.cpp. References CVCL::Expr::getEM(), and CVCL::ExprManager::hash().

static size_t mf (  const Expr  x, const Expr  y )  [static]

Definition at line 75 of file preprocess.cpp.

static void update_queue (  Queue *  q, Expr  e, CareSet *  cs_prime )  [static]

Definition at line 77 of file preprocess.cpp. References CVCL::Hash_Table< _Key, _Data >::Fetch(), CVCL::Dict< _Key, _Data >::Fetch(), and CVCL::Dict< _Key, _Data >::Insert().

---