Symbol Class Reference

Symbols are used to name several term and type constructors. More...

Inheritance diagram for Symbol:

Public Member Functions
bool	IsIntSymbol ()
	Indicates whether the symbol is of Int kind.
bool	IsStringSymbol ()
	Indicates whether the symbol is of string kind.
override string	ToString ()
	A string representation of the symbol.
Protected Member Functions
internal	Symbol (Context ctx, IntPtr obj)
	Symbol constructor.
Properties
Z3_symbol_kind	Kind [get]
	The kind of the symbol (int or string)

---

Detailed Description

Symbols are used to name several term and type constructors.

Definition at line 30 of file Symbol.cs.

---

Constructor & Destructor Documentation

internal Symbol	(	Context	ctx,
		IntPtr	obj
	)		[inline, protected]

Symbol constructor.

Definition at line 73 of file Symbol.cs.

                                                           : base(ctx, obj) 
        {
            Contract.Requires(ctx != null);
        }

---

Member Function Documentation

bool IsIntSymbol

(

)

[inline]

Indicates whether the symbol is of Int kind.

Definition at line 43 of file Symbol.cs.

        {
            return Kind == Z3_symbol_kind.Z3_INT_SYMBOL;
        }

bool IsStringSymbol

(

)

[inline]

Indicates whether the symbol is of string kind.

Definition at line 51 of file Symbol.cs.

        {
            return Kind == Z3_symbol_kind.Z3_STRING_SYMBOL;
        }

override string ToString

(

)

[inline]

A string representation of the symbol.

Definition at line 59 of file Symbol.cs.

        {
            if (IsIntSymbol())
                return ((IntSymbol)this).Int.ToString();
            else if (IsStringSymbol())
                return ((StringSymbol)this).String;
            else
                throw new Z3Exception("Unknown symbol kind encountered");
        }

---

Property Documentation

Z3_symbol_kind Kind [get, protected]

The kind of the symbol (int or string)

Definition at line 36 of file Symbol.cs.