Phladiprelio.ConstraintsEncoded

Provides a way to encode the needed constraint with possibly less symbols. Uses arrays instead of vectors.

Data types

data EncodedContraints a b

Constructors

E

P a b

Q a a a a a

T a a a a

SA a a b

SB a a b

F a a a

V a a a

W a a a

H a a a a

R a a a a

M a a a a

Instances

(Show a, Show b) => Show (EncodedContraints a b)

Defined in Phladiprelio.ConstraintsEncoded

Methods

showsPrec :: Int -> EncodedContraints a b -> ShowS

show :: EncodedContraints a b -> String

showList :: [EncodedContraints a b] -> ShowS

(Eq a, Eq b) => Eq (EncodedContraints a b)

Defined in Phladiprelio.ConstraintsEncoded

Methods

(==) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(/=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(Ord a, Ord b) => Ord (EncodedContraints a b)

Defined in Phladiprelio.ConstraintsEncoded

Methods

compare :: EncodedContraints a b -> EncodedContraints a b -> Ordering

(<) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(<=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(>) :: EncodedContraints a b -> EncodedContraints a b -> Bool

(>=) :: EncodedContraints a b -> EncodedContraints a b -> Bool

max :: EncodedContraints a b -> EncodedContraints a b -> EncodedContraints a b

min :: EncodedContraints a b -> EncodedContraints a b -> EncodedContraints a b

type EncodedCnstrs = EncodedContraints Int (Array Int Int)

Functions to work with them

Read functions

readMaybeECG :: Int -> String -> Maybe EncodedCnstrs

Inspired by the: https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Maybe.html Is provided here as a more general way to read the String into a EncodedCnstrs. It is up to user to check whether the parameters are in the correct form, the function does not do the full checking.

Process-encoding functions

decodeConstraint1 :: (InsertLeft t (Array Int Int), Monoid (t (Array Int Int))) => EncodedCnstrs -> t (Array Int Int) -> t (Array Int Int)

Must be applied to the correct array of permutation indeces. Otherwise, it gives runtime error (exception). All the integers inside the EncodedCnstrs must be in the range [0..n-1] where n corresponds to the maximum element in the permutation Array Int Int.

decodeLConstraints :: (InsertLeft t (Array Int Int), Monoid (t (Array Int Int))) => [EncodedCnstrs] -> t (Array Int Int) -> t (Array Int Int)

Must be applied to the correct array of permutation indeces. Otherwise, it gives runtime error (exception). All the integers inside the EncodedCnstrs must be in the range [0..n-1] where n corresponds to the maximum element in the permutation Array Int Int.

isConstraint1 :: Bool -> Array Int Int -> EncodedCnstrs -> Bool

Modifiers and getters

getIEl :: EncodedCnstrs -> Int

Works only with the correctly defined argument though it is not checked. Use with this caution.

setIEl :: Int -> EncodedCnstrs -> EncodedCnstrs

Works only with the correctly defined arguments though it is not checked. Use with this caution.

Predicates

isE :: EncodedCnstrs -> Bool

isP :: EncodedCnstrs -> Bool

isF :: EncodedCnstrs -> Bool

isQ :: EncodedCnstrs -> Bool

isT :: EncodedCnstrs -> Bool

isSA :: EncodedCnstrs -> Bool

isSB :: EncodedCnstrs -> Bool

isV :: EncodedCnstrs -> Bool

isW :: EncodedCnstrs -> Bool

isH :: EncodedCnstrs -> Bool

isR :: EncodedCnstrs -> Bool

isM :: EncodedCnstrs -> Bool

Algebraic general conversion

validOrdStr :: String -> Bool

An extended predicate to check whether the String is a probably correct representation of the constraints algebraic expression for generalConversion evaluation.

generalConversion :: Int -> String -> Array Int Int -> Bool

filterGeneralConv :: Int -> String -> [Array Int Int] -> [Array Int Int]

Can be thought of as filter (generalConversion ... ) arrays but is somewhat more efficient.