Go to the source code of this file.
Data Structures | |
class | Pattern |
Patterns comprise a list of terms. The list should be non-empty. If the list comprises of more than one term, it is also called a multi-pattern. More... | |
Namespaces | |
namespace | Microsoft.Z3 |