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...
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. |
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.
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);
}
uint NumTerms [get] |
The number of terms in the pattern.
Definition at line 38 of file Pattern.cs.
The terms in the pattern.
Definition at line 46 of file Pattern.cs.