maxsat

Documentation

Index

• Variables
• func AddConstraint(inputConstraint string) error
• func Evaluate(constraint string) (bool, error)
• func FlipLiteral(literal string) error
• func GetModel() (map[string]bool, error)
• func Init()
• func IsSat() bool
• func ValidateConstraint(constraint string) (string, error)
• type Boolean
  • func (b *Boolean) Capture(values []string) error
• type Conjunction
• type Constant
• type Disjunction
• type Expression
• type Factor
• type Implication
• type Literal
• type Unary
• type Unique

Variables

var False falseConst = falseConst{}

var True trueConst = trueConst{}

Functions

func AddConstraint

func AddConstraint(inputConstraint string) error

func Evaluate

func Evaluate(constraint string) (bool, error)

func FlipLiteral

func FlipLiteral(literal string) error

func GetModel

func GetModel() (map[string]bool, error)

func Init

func Init()

func IsSat

func IsSat() bool

func ValidateConstraint

func ValidateConstraint(constraint string) (string, error)

Types

type Boolean

type Boolean bool

func (*Boolean) Capture

func (b *Boolean) Capture(values []string) error

type Conjunction

type Conjunction struct {
	Unary *Unary       `parser:"@@"`
	Next  *Conjunction `parser:"(AndOperator  @@)?"`
}

type Constant

type Constant struct {
	Value *Boolean `parser:"@( 'true' | 'false' )"`
}

type Disjunction

type Disjunction struct {
	Conjunction *Conjunction `parser:"@@"`
	Next        *Disjunction `parser:"(OrOperator  @@)?"`
}

type Expression

type Expression struct {
	Implication *Implication `parser:"@@"`
	Unique      *Unique      `parser:"|'{' @@ '}'"`
}

type Factor

type Factor struct {
	Constant      *Constant    `parser:"@@"`
	Literal       *Literal     `parser:"| @@"`
	SubExpression *Disjunction `parser:"| '(' @@ ')'"`
}

type Implication

type Implication struct {
	Left        *Disjunction `parser:"@@"`
	Implication *Disjunction `parser:"( ImplicationOperator  @@"`
	Equivalence *Disjunction `parser:"| EquivalenceOperator  @@ )?"`
}

type Literal

type Literal struct {
	Name string `parser:"@LiteralName"`
}

type Unary

type Unary struct {
	Not    string  `parser:"( @( NotOperator )"`
	Unary  *Unary  `parser:" @@ )"`
	Factor *Factor `parser:"| @@"`
}

type Unique

type Unique struct {
	First *Literal `parser:"@@"`
	Next  *Unique  `parser:"(','  @@)?"`
}