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.