moriarty / mas-ast

BRSU Masters of Autonomous System course work for Advanced Software Technology

mas-ast

BRSU Masters of Autonomous System course work for Advanced Software Technology

mas-ast's Issues

Finish Assignment 2

We need to do the BDD

Bdd-State

bdd-state(s): Build BDD representing {s}.

Bdd-Union

bdd-union(B, B'): Build BDD representing r(B) ∪ r(B').

Bdd-Includes

bdd-includes(B, s): Test s ∈ r(B).

bdd-countmodels(B)

bdd-countmodels(B): Compute |r(B)|.

Bdd-equals

bdd-equals(B, B'): Test r(B) = r(B').

Bdd-Atom

bdd-atom(a): Build BDD representing {s | s(a) = 1}.

bdd-forget(B,a)

bdd-forget(B, a): Described later.

Bdd Input / output

Functions to read and write BDDs to and from Files.

There may/will eventually be two forms of input output files

N1, N3, N5
N5, N4, N6
....

Lines can be mixed.

(!N1^N3^N6)
....
lines ORd together

Bdd-Complement

bdd-complement(B): Build BDD representing {line over}r(B){\line over}.