PUBLIC

VLMinTermSOP::VLMinTermSOP(void) VLMinTermSOP::VLMinTermSOP(const VLMinTermSOP &) VLMinTermSOP::VLMinTermSOP(const VLMinTermLstC &) VLMinTermSOP::VLMinTermSOP(const VLMinTerm &) VLMinTermSOP::VLMinTermSOP(const VLMinTermC &) VLMinTermSOP::~VLMinTermSOP(void) VLMinTermSOP::Copy(void) const VLMinTermSOP::operator=(const VLMinTermSOP &) VLMinTermSOP::Add(const VLMinTerm &) VLMinTermSOP::Add(const VLMinTermC &) VLMinTermSOP::operator+=(const VLMinTerm &) VLMinTermSOP::operator+=(const VLSymb &) VLMinTermSOP::operator+=(const VLSymbC &) VLMinTermSOP::Add(const VLMinTermLstC &) VLMinTermSOP::operator+=(const VLMinTermLstC &) VLMinTermSOP::operator*=(const VLMinTerm &) VLMinTermSOP::operator*=(const VLMinTermC &) VLMinTermSOP::operator*=(const VLMinTermLstC &) VLMinTermSOP::operator*(const VLMinTerm &) const VLMinTermSOP::operator*(const VLMinTermC &) const VLMinTermSOP::operator*(const VLMinTermLstC &) const VLMinTermSOP::operator+(const VLMinTerm &) const VLMinTermSOP::operator+(const VLMinTermC &) const VLMinTermSOP::operator+(const VLMinTermLstC &) const VLMinTermSOP::operator+(const VLSymb &) const VLMinTermSOP::operator+(const VLSymbC &) const VLMinTermSOP::operator*(const VLSymb &) const VLMinTermSOP::operator*(const VLSymbC &) const VLMinTermSOP::Inverse(void) const VLMinTermSOP::operator!(void) const VLMinTermSOP::Minimise(void) VLMinTermSOP::MinimiseLast(void) VLMinTermSOP::GetName(StringC) const

VLMinTermSOP
Sum of Products.
include	"amma/Logic2/LMinTermSOP.hh"
User Level:	Default
Library:	VLBasic
Example:	SockServer.cc
Section:	Logic.Basic
In Scope:	std

Comments:
Big Object.

public VLMinTermLstC

enum TermVal { Tautology, Contradiction, Nil, Expression } ;

VLMinTermSOP()

Default constructor.
Creates an empty VLMinTermSOP.

VLMinTermSOP(const VLMinTermSOP & Oth)

Copy constructor.

VLMinTermSOP(const VLMinTermLstC & Oth)

Constructor from a MinTerm list.

VLMinTermSOP(const VLMinTerm & Oth)

Construct from a minterm.

VLMinTermSOP(const VLMinTermC & Oth)

~VLMinTermSOP()

Destructor.

VLMinTermSOP Copy(void) const

Copy of data. How deep ??

VLMinTermSOP & operator=(const VLMinTermSOP & Oth)

Assignment, Does NOT copy.

TermVal Add(const VLMinTerm & Oth)

Add (or) a MinTerm.
OBSOLETE.

TermVal Add(const VLMinTermC & Oth)

Add (or) a MinTerm.

VLMinTermSOP & operator+=(const VLMinTerm & Oth)

Add (or) a MinTerm.

VLMinTermSOP & operator+=(const VLSymb & Oth)

Add (or) a MinTerm.

VLMinTermSOP & operator+=(const VLSymbC & Oth)

Add (or) a MinTerm.

TermVal Add(const VLMinTermLstC & Oth)

Add (or) a MinTerm.

VLMinTermSOP & operator+=(const VLMinTermLstC & Oth)

Add (or) a MinTerm.

VLMinTermSOP & operator*=(const VLMinTerm & Oth)

inplace Multiplication (and) of a MinTerm.

VLMinTermSOP & operator*=(const VLMinTermC & Oth)

inplace Multiplication (and) of a MinTerm.

VLMinTermSOP & operator*=(const VLMinTermLstC & Oth)

inplace Mult (and) by list of MinTerms.

VLMinTermSOP operator*(const VLMinTerm & Oth) const

Multiply by MinTerm

VLMinTermSOP operator*(const VLMinTermC & Oth) const

Multiply by MinTerm

VLMinTermSOP operator*(const VLMinTermLstC & Oth) const

Multiply by list.

VLMinTermSOP operator+(const VLMinTerm & Oth) const

Add MinTerm.

VLMinTermSOP operator+(const VLMinTermC & Oth) const

Add MinTerm.

VLMinTermSOP operator+(const VLMinTermLstC & Oth) const

Add list.

VLMinTermSOP operator+(const VLSymb & Oth) const

Or a term.

VLMinTermSOP operator+(const VLSymbC & Oth) const

Or a term.

VLMinTermSOP operator*(const VLSymb & Oth) const

And a term.

VLMinTermSOP operator*(const VLSymbC & Oth) const

And a term.

VLMinTermSOP Inverse(void) const

Negative of this SOP.

VLMinTermSOP operator!(void) const

Negative of this SOP.

TermVal Minimise(void)

Full Minimisation

TermVal MinimiseLast(void)

Check minimisation against last element.

StringC GetName(StringC Buff = StringC()) const

Convert to string.