Skip to main content

CrystalDocs builds documentation for every shard, on request. The announcement: Documentation for every shard, on CrystalBits.

CrystalDocs

    Browse DocsCrystalShardsAbout

    github.com/darkstego/ortools-sat

    Types

    • Int
    • ORTools
      • Sat
        • AllDifferentConstraintProto
        • AutomatonConstraintProto
        • BoolArgumentProto
        • BoolVar
        • CircuitConstraintProto
        • ConstraintProto
        • CpModelProto
        • CpObjectiveProto
        • CpSolverResponse
        • CpSolverSolution
        • CpSolverStatus
        • CumulativeConstraintProto
        • DecisionStrategyProto
          • DomainReductionStrategy
          • VariableSelectionStrategy
        • DenseMatrixProto
        • ElementConstraintProto
        • Expressible
        • FloatObjectiveProto
        • IntVar
        • IntegerVariableProto
        • IntervalConstraintProto
        • InverseConstraintProto
        • LinearArgumentProto
        • LinearConstraint
        • LinearConstraintProto
        • LinearExpression
        • LinearExpressionProto
        • ListOfVariablesProto
        • Model
        • NoOverlap2DConstraintProto
        • NoOverlapConstraintProto
        • PartialVariableAssignment
        • ReservoirConstraintProto
        • RoutesConstraintProto
        • Solution
        • SolverError
        • SparsePermutationProto
        • SymmetryProto
        • TableConstraintProto
        • ValidSolution
    • OperationsResearch
      • Sat
        • SatParameters
          • BinaryMinizationAlgorithm
          • ClauseOrdering
          • ClauseProtection
          • ConflictMinimizationAlgorithm
          • FPRoundingMethod
          • MaxSatAssumptionOrder
          • MaxSatStratificationAlgorithm
          • Polarity
          • RestartAlgorithm
          • SearchBranching
          • SharedTreeSplitStrategy
          • VariableOrder
    struct

    Int

    Inherits Number < Steppable < Comparable < Value < Object

    Methods added to the Int class to make building constraints easier

    Instance methods

    !=(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    *(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression) : ORTools::Sat::LinearExpression
    Source
    +(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    -(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    <(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    <=(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    ==(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    >(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    >=(other : ORTools::Sat::IntVar | ORTools::Sat::LinearExpression)
    Source
    to_lexpr
    Source

    Advertisement

    Crystal jobs from CrystalGigs

    • Your posting here

      Reach Crystal developers on CrystalGigsFirst party

    CrystalDocs.org - Crystal Shard Documentation Hosting

    The CrystalBits newsletter

    Crystal tutorials, release news and community writing. One email when there is something new, never a stream.

    You will get one confirmation email to check the address is yours. Unsubscribe any time.

    GitHubCrystalShardsCrystalGigsCrystalBitsCrystal LanguageStatsSponsor

    The Bushido Collective builds and maintains this site.
    Licensed under the Apache License 2.0