LogicalOperations Members

Provides methods that perform common logic operations and that have a control flow that does not depend on the operators. These methods do not create a branch in the execution flow and are suitable for building up constraints in enabling conditions and in parameter constraints.

The following tables list the members exposed by the LogicalOperations type.

Public Methods

	Name	Description
	And	Indicates whether two statements are both true. Provides an equivalent to a logical AND, & in C#.
	Exists	Indicates whether a predicate is true for at least one element of a collection.
	Forall	Indicates whether a predicate is true for all elements of a collection.
	Iff	Indicates whether two statements are logically equivalent. Provides an equivalent to an equality operator, == in C#.
	Implies	Indicates whether two statements satisfy a logical implication statement.
	Not	Returns the logical negation of a statement. Provides an equivalent to a logical negation operator, ! in C#.
	Or	Indicates whether at least one statement is true. Provides an equivalent to a logical OR, | in C#.

Top

See Also

Reference

LogicalOperations Class
Microsoft.Modeling Namespace
Condition Class
Combination Class

Other Resources

Parameter Generation