PexNonDefaultDomain Class
Definition
Important
Some information relates to prerelease product that may be substantially modified before it’s released. Microsoft makes no warranties, express or implied, with respect to the information provided here.
A non-nullable domain
public ref class PexNonDefaultDomain sealed : Microsoft::Pex::Engine::Domains::IPexDomainpublic sealed class PexNonDefaultDomain : Microsoft.Pex.Engine.Domains.IPexDomaintype PexNonDefaultDomain = class
interface IPexDomainPublic NotInheritable Class PexNonDefaultDomain
Implements IPexDomain- Inheritance
-
PexNonDefaultDomain
- Implements
-
Microsoft.Pex.Engine.Domains.IPexDomain
Fields
| Instance |
Domain singleton |
Methods
| TryGetInvariant(IPexExplorationComponent, Layout, Converter<Term,Term>) |
Tries to get an invariant. |