ezSAT::_V Struct Reference

#include <ezsat.h>

Public Member Functions
	_V (int id)
	_V (const char *name)
	_V (const std::string &name)
int	get (ezSAT *that)

Data Fields
int	id
std::string	name

Detailed Description

Definition at line 180 of file ezsat.h.

Constructor & Destructor Documentation

ezSAT::_V::_V ( int  id )

inline

Definition at line 183 of file ezsat.h.

: id(id) { }

ezSAT::_V::_V ( const char *  name )

inline

Definition at line 184 of file ezsat.h.

: id(0), name(name) { }

ezSAT::_V::_V ( const std::string &  name )

inline

Definition at line 185 of file ezsat.h.

: id(0), name(name) { }

Member Function Documentation

int ezSAT::_V::get ( ezSAT *  that )

inline

Definition at line 186 of file ezsat.h.

                             {
            if (name.empty())
                return id;
            return that->frozen_literal(name);
        }

Here is the caller graph for this function:

Field Documentation

int ezSAT::_V::id

Definition at line 181 of file ezsat.h.

std::string ezSAT::_V::name

Definition at line 182 of file ezsat.h.

---

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

• ezsat.h