Minisat::MkIndexLit Struct Reference

#include <SolverTypes.h>

Public Member Functions
vec< Lit >::Size	operator() (Lit l) const

Detailed Description

Definition at line 80 of file SolverTypes.h.

Member Function Documentation

vec<Lit>::Size Minisat::MkIndexLit::operator() ( Lit  l ) const

inline

Definition at line 80 of file SolverTypes.h.

{ vec<Lit>::Size operator()(Lit l) const { return vec<Lit>::Size(l.x); } };

Here is the call graph for this function:

Here is the caller graph for this function:

---

The documentation for this struct was generated from the following file:

• SolverTypes.h