C# 클래스 Microsoft.Z3.Goal

상속: Z3Object

공개 메소드들

메소드	설명
Add ( ) : void	Alias for Assert.
Assert ( ) : void	Adds the constraints to the given goal.
Reset ( ) : void	Erases all formulas from the given goal.
Simplify ( Params p = null ) : Goal	Simplifies the goal. Essentially invokes the `simplify' tactic on the goal.
ToString ( ) : string	Goal to string conversion.
Translate ( Context ctx ) : Goal	Translates (copies) the Goal to the target Context ctx.

메소드	설명
DecRef ( IntPtr o ) : void
Goal ( Context ctx, IntPtr obj ) : System
Goal ( Context ctx, bool models, bool unsatCores, bool proofs ) : System
IncRef ( IntPtr o ) : void

Alias for Assert.

public Add ( ) : void
리턴	void

Adds the constraints to the given goal.

public Assert ( ) : void
리턴	void

Erases all formulas from the given goal.

public Reset ( ) : void
리턴	void

Simplifies the goal.

Essentially invokes the `simplify' tactic on the goal.

public Simplify ( Params p = null ) : Goal
p	Params
리턴	Goal

Goal to string conversion.

public ToString ( ) : string
리턴	string

Translates (copies) the Goal to the target Context ctx.

public Translate ( Context ctx ) : Goal
ctx	Context
리턴	Goal