Home	•	Docs	•	Download	•	Mail	•	FAQ	•	Awards	•	Status	•	MSR

An Efficient SMT Solver

LabeledLiterals Class Reference
[Managed (.NET) API]

Public Member Functions
	!LabeledLiterals ()
	~LabeledLiterals ()
unsigned	GetNumLabels ()
void	Disable (unsigned idx)
Symbol	GetLabel (unsigned idx)
Data Fields
Z3_context	m_context
Z3_labels	m_labels
Package Functions
	LabeledLiterals (Z3_context ctx, Z3_labels lbls)
Z3_labels	Get ()

---

Detailed Description

Container for labeled literals. A satisfiable state can be queried for a set of labeled literals that are satisfied.

Definition at line 325 of file Microsoft.Z3.h.