The Compiler

reset!(model::Virtual.Model, arch::AbstractArchitecture)

setup!(model::Virtual.Model, ::AbstractArchitecture)

parse!(
    model::Virtual.Model{T},
    g::PBO.PBF{VI,T},
    f::MOI.AbstractFunction,
    arch::AbstractArchitecture
) where {T}

Parses the given MOI function f into PBF g.

sense!(model::Virtual.Model, ::AbstractArchitecture)

Copies MOI.ObjectiveSense from model.source_model to model.target_model.

variable!(model::Virtual.Model{T}) where {T}

variables!(model::Virtual.Model{T}) where {T}

constraint

Returns the pseudo-boolean function associated to a given constraint from the source model.

constraints!(model::Virtual.Model, ::AbstractArchitecture)

objective!(model::Virtual.Model, ::AbstractArchitecture)

penalties!(model::Virtual.Model, arch::AbstractArchitecture)

isqubo(model::MOI.ModelLike)

Tells if a given model is ready to be interpreted as a QUBO model.

For it to be true, a few conditions must be met:

1. All variables must be binary (MOI.VariableIndex ∈ MOI.ZeroOne)
2. No other constraints are allowed
3. The objective function must be of type MOI.ScalarQuadraticFunction, MOI.ScalarAffineFunction or MOI.VariableIndex
4. The objective sense must be either MOI.MIN_SENSE or MOI.MAX_SENSE

copy!(model::Virtual.Model, arch::AbstractArchitecture)

build!(model::Virtual.Model, arch::AbstractArchitecture)

quadratize!(model::Virtual.Model, arch::AbstractArchitecture)

Quadratizes the objective function from a model.