web

Documentation

Index

• Constants
• Variables
• type ExprLex
  • func (sp *ExprLex) Error(s string)
  • func (sp *ExprLex) Lex(yylval *yySymType) int
• type Func
  • func (f Func) String() string
• type Info
• type MainData
• type Record
• type ResultData
• type Savepoint
• type Tree
  • func (t *Tree) Complexity() string
  • func (t *Tree) HTML() template.HTML
  • func (t *Tree) String() string

Constants

const (
	NumInput = 1 << NumVar
	NumFunc  = 1 << NumInput
)

Derived constants.

const EOF = 57349

const LANDAND = 57351

const LANDNOT = 57357

const LGE = 57354

const LIN = 57348

const LLE = 57353

const LLSH = 57355

const LNE = 57352

const LNUM = 57346

const LOROR = 57350

const LRSH = 57356

const LVAR = 57347

const NumVar = 5

Change to compute different answer.

Variables

var V = literal(0)

var W = literal(1)

var X = literal(2)

var Y = literal(3)

var Z = literal(4)

Types

type ExprLex

type ExprLex string

func (*ExprLex) Error

func (sp *ExprLex) Error(s string)

func (*ExprLex) Lex

func (sp *ExprLex) Lex(yylval *yySymType) int

type Func

type Func uint32

A Func represents a single boolean function. It specifies only the outputs for each input, not a way to compute it.

func (Func) String

func (f Func) String() string

type Info

type Info struct {
	Record
	Size int
}

type MainData

type MainData struct {
	Query  string
	Result template.HTML
	Mem    uint64
}

type Record

type Record struct {
	F, P, Q Func
}

A Record records the Boolean function and its parents for computing it.

type ResultData

type ResultData struct {
	Error   error
	Query   string
	Canon   Func
	Func    Func
	Tree    *Tree
	XorTree *Tree
}

type Savepoint

type Savepoint struct {
	Howto  []Record
	BySize [][]Func
}

A Savepoint records information for starting again later.

type Tree

type Tree struct {
	Op   string
	F    Func
	L, R *Tree
}

func (*Tree) Complexity

func (t *Tree) Complexity() string

func (*Tree) HTML

func (t *Tree) HTML() template.HTML

func (*Tree) String

func (t *Tree) String() string