Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines
Public Member Functions | Properties
Pattern Class Reference

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...

+ Inheritance diagram for Pattern:

Public Member Functions

override string ToString ()
 A string representation of the pattern.

Properties

uint NumTerms [get]
 The number of terms in the pattern.
Expr[] Terms [get]
 The terms in the pattern.

Detailed Description

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.

Definition at line 32 of file Pattern.cs.


Member Function Documentation

override string ToString ( ) [inline]

A string representation of the pattern.

Reimplemented from AST.

Definition at line 62 of file Pattern.cs.

        {
            return Native.Z3_pattern_to_string(Context.nCtx, NativeObject);
        }

Property Documentation

uint NumTerms [get]

The number of terms in the pattern.

Definition at line 38 of file Pattern.cs.

Expr [] Terms [get]

The terms in the pattern.

Definition at line 46 of file Pattern.cs.

 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines