cprover
prop_assignmentt Class Referenceabstract

TO_BE_DOCUMENTED. More...

#include <prop_assignment.h>

Inheritance diagram for prop_assignmentt:
[legend]

Public Member Functions

virtual ~prop_assignmentt ()
 
virtual tvt l_get (literalt a) const =0
 
virtual void set_assignment (literalt a, bool value)=0
 
virtual void copy_assignment_from (const propt &prop)=0
 

Detailed Description

TO_BE_DOCUMENTED.

Definition at line 20 of file prop_assignment.h.

Constructor & Destructor Documentation

§ ~prop_assignmentt()

prop_assignmentt::~prop_assignmentt ( )
virtual

Definition at line 12 of file prop_assignment.cpp.

Member Function Documentation

§ copy_assignment_from()

virtual void prop_assignmentt::copy_assignment_from ( const propt prop)
pure virtual

Implemented in cnf_clause_list_assignmentt, and propt.

§ l_get()

§ set_assignment()


The documentation for this class was generated from the following files: