Model.AddGoal Method

[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

Adds a goal to a model.

This member is overloaded. For complete information about this member, including syntax, usage, and examples, click a name in the overload list.

Overload List

  Name Description
Public method AddGoal(String, GoalKind, Term) Adds a goal to a model.
Public method AddGoal(String, GoalKind, String) Adds a goal to a model by parsing an OML expression.

Top

See Also

Reference

Model Class

Microsoft.SolverFoundation.Services Namespace