Clingo.Model

Documentation

data Model s

data SolveControl s

data SymbolicLiteral s

Instances

Eq (SymbolicLiteral s)

Methods

(==) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(/=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

Ord (SymbolicLiteral s)

Methods

compare :: SymbolicLiteral s -> SymbolicLiteral s -> Ordering

(<) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(<=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(>) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(>=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

max :: SymbolicLiteral s -> SymbolicLiteral s -> SymbolicLiteral s

min :: SymbolicLiteral s -> SymbolicLiteral s -> SymbolicLiteral s

Generic (SymbolicLiteral s)

Associated Types

type Rep (SymbolicLiteral s) :: * -> *

Methods

from :: SymbolicLiteral s -> Rep (SymbolicLiteral s) x

to :: Rep (SymbolicLiteral s) x -> SymbolicLiteral s

Hashable (SymbolicLiteral s)

Methods

hashWithSalt :: Int -> SymbolicLiteral s -> Int

hash :: SymbolicLiteral s -> Int

Signed (SymbolicLiteral s)

Methods

positive :: SymbolicLiteral s -> Bool

negative :: SymbolicLiteral s -> Bool

type Rep (SymbolicLiteral s)

type Rep (SymbolicLiteral s) = D1 (MetaData "SymbolicLiteral" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) (C1 (MetaCons "SLPositive" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Symbol s)))) (C1 (MetaCons "SLNegative" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Symbol s)))))

data SymbolSelection

Type for building symbol selections.

Constructors

SymbolSelection

Fields

• selectCSP :: Bool
• selectShown :: Bool
• selectAtoms :: Bool
• selectTerms :: Bool
• selectExtra :: Bool
• useComplement :: Bool

Instances

Eq SymbolSelection

Methods

(==) :: SymbolSelection -> SymbolSelection -> Bool

(/=) :: SymbolSelection -> SymbolSelection -> Bool

Ord SymbolSelection

Methods

compare :: SymbolSelection -> SymbolSelection -> Ordering

(<) :: SymbolSelection -> SymbolSelection -> Bool

(<=) :: SymbolSelection -> SymbolSelection -> Bool

(>) :: SymbolSelection -> SymbolSelection -> Bool

(>=) :: SymbolSelection -> SymbolSelection -> Bool

max :: SymbolSelection -> SymbolSelection -> SymbolSelection

min :: SymbolSelection -> SymbolSelection -> SymbolSelection

Read SymbolSelection

Methods

readsPrec :: Int -> ReadS SymbolSelection

readList :: ReadS [SymbolSelection]

readPrec :: ReadPrec SymbolSelection

readListPrec :: ReadPrec [SymbolSelection]

Show SymbolSelection

Methods

showsPrec :: Int -> SymbolSelection -> ShowS

show :: SymbolSelection -> String

showList :: [SymbolSelection] -> ShowS

data ModelType

pattern StableModel :: ModelType

pattern BraveConsequences :: ModelType

pattern CautiousConsequences :: ModelType

selectAll :: SymbolSelection

selectNone :: SymbolSelection

class MonadSymbol m => MonadModel m where

Minimal complete definition

modelType, modelNumber, modelSymbols, contains, costVector, optimalityProven, context, modelAddClause

Methods

modelType :: Model s -> m s ModelType

Get the type of a Model.

modelNumber :: Model s -> m s Natural

Get the number of a Model.

modelSymbols :: Model s -> SymbolSelection -> m s [Symbol s]

Get the selected symbols from a Model.

contains :: Model s -> Symbol s -> m s Bool

Constant time lookup to test whether an atom is in a model.

costVector :: Model s -> m s [Integer]

Get the cost vector of a Model

optimalityProven :: Model s -> m s Bool

Check whether optimality of a model has been proven.

context :: Model s -> m s (SolveControl s)

Get the associated SolveControl of a Model.

modelAddClause :: Foldable t => SolveControl s -> t (SymbolicLiteral s) -> m s ()

Add a clause from the model callback.

Instances

MonadModel Clingo

Methods

modelType :: Model s -> Clingo s ModelType

modelNumber :: Model s -> Clingo s Natural

modelSymbols :: Model s -> SymbolSelection -> Clingo s [Symbol s]

contains :: Model s -> Symbol s -> Clingo s Bool

costVector :: Model s -> Clingo s [Integer]

optimalityProven :: Model s -> Clingo s Bool

context :: Model s -> Clingo s (SolveControl s)

modelAddClause :: Foldable t => SolveControl s -> t (SymbolicLiteral s) -> Clingo s ()

MonadModel IOSym

Methods

modelType :: Model s -> IOSym s ModelType

modelNumber :: Model s -> IOSym s Natural

modelSymbols :: Model s -> SymbolSelection -> IOSym s [Symbol s]

contains :: Model s -> Symbol s -> IOSym s Bool

costVector :: Model s -> IOSym s [Integer]

optimalityProven :: Model s -> IOSym s Bool

context :: Model s -> IOSym s (SolveControl s)

modelAddClause :: Foldable t => SolveControl s -> t (SymbolicLiteral s) -> IOSym s ()