Literal Structure

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

Defines a Boolean variable or the negation of a Boolean variable.

Namespace:  Microsoft.SolverFoundation.Solvers
Assembly:  Microsoft.Solver.Foundation (in Microsoft.Solver.Foundation.dll)

Syntax

'Declaration
Public Structure Literal _
    Implements IComparable(Of Literal)
public struct Literal : IComparable<Literal>
public value class Literal : IComparable<Literal>
[<Sealed>]
type Literal =  
    struct
        interface IComparable<Literal>
    end
JScript supports the use of structures, but not the declaration of new ones.

The Literal type exposes the following members.

Constructors

  Name Description
Public method Literal Initializes a new instance of the Literal class.

Top

Properties

  Name Description
Public property Id Gets the identifier of a literal.
Public property IsNil Gets a value that indicates whether a literal is nulla null reference (Nothing in Visual Basic).
Public property Sense Gets a value that indicates whether a literal is signed.
Public property Var Gets the Boolean variable that forms a literal.

Top

Methods

  Name Description
Public method CompareTo Compares one literal to another literal.
Public method Equals Returns a value that indicates whether a literal is equal to an object. (Overrides ValueType.Equals(Object).)
Protected method Finalize Allows an object to try to free resources and perform other cleanup operations before it is reclaimed by garbage collection. (Inherited from Object.)
Public method GetHashCode Computes the hash code of a value. (Overrides ValueType.GetHashCode().)
Public method GetType Gets the Type of the current instance. (Inherited from Object.)
Protected method MemberwiseClone Creates a shallow copy of the current Object. (Inherited from Object.)
Public method ToString Converts the numeric value of the current literal to its equivalent string representation. (Overrides ValueType.ToString().)

Top

Operators

  Name Description
Public operatorStatic member Equality Returns a value that indicates whether two literals are equal.
Public operatorStatic member GreaterThan Returns a value that indicates whether one literal is greater than another literal.
Public operatorStatic member GreaterThanOrEqual Returns a value that indicates whether one literal is greater than or equal to another literal.
Public operatorStatic member Inequality Returns a value that indicates whether two literals are unequal.
Public operatorStatic member LessThan Returns a value that indicates whether one literal is less than another literal.
Public operatorStatic member LessThanOrEqual Returns a value that indicates whether one literal is less than or equal to another literal.
Public operatorStatic member OnesComplement Returns the bitwise one's complement of a literal.

Top

Fields

  Name Description
Public fieldStatic member Nil Represents the null literal.

Top

Thread Safety

Any public static (Shared in Visual Basic) members of this type are thread safe. Any instance members are not guaranteed to be thread safe.

See Also

Reference

Microsoft.SolverFoundation.Solvers Namespace