C# Класс Microsoft.Automata.BDD

Represents a Binary Decision Diagram.

Показать файл Открыть проект Примеры использования класса

Открытые свойства

Свойство	Тип	Описание
One	BDD
Ordinal	int
Zero	BDD

Защищенные свойства (Protected)

Свойство	Тип	Описание
algebra	IBDDAlgebra

Открытые методы

Метод	Описание
And ( BDD other ) : BDD
CountNodes ( ) : int	Counts the number of nodes (both terminals and nonterminals) in the BDD.
Diff ( BDD other ) : BDD
GetMin ( ) : ulong	Gets the lexicographically minimum bitvector in this BDD as a ulong. Assumes that this BDD is nonempty and that its ordinal is at most 63.
Not ( ) : BDD
Or ( BDD other ) : BDD
ShiftLeft ( int k = 1 ) : BDD	Increment the ordinals of all nodes by k, k must be nonnegative.
ShiftRight ( int k = 1 ) : BDD	Decrement the ordinals of all nodes by k, k must be nonnegative.
ToDot ( string file ) : void	Store the BDD as a graph in the given file.
ToRanges ( int bound ) : uint>[].Pair
ToString ( ) : string

Защищенные методы

Метод	Описание
PrintLeaf ( ) : string

Приватные методы

Метод	Описание
BDD ( ) : System
BDD ( IBDDAlgebra algebra, int ordinal ) : System
BDD ( IBDDAlgebra algebra, int ordinal, BDD one, BDD zero ) : System
EnumCases ( ) : IEnumerable
MkAny ( int k ) : string

Описание методов

And() публичный Метод

public And ( BDD other ) : BDD
other	BDD
Результат	BDD

CountNodes() публичный Метод

Counts the number of nodes (both terminals and nonterminals) in the BDD.

public CountNodes ( ) : int
Результат	int

Diff() публичный Метод

public Diff ( BDD other ) : BDD
other	BDD
Результат	BDD

GetMin() публичный Метод

Gets the lexicographically minimum bitvector in this BDD as a ulong. Assumes that this BDD is nonempty and that its ordinal is at most 63.

public GetMin ( ) : ulong
Результат	ulong

Not() публичный Метод

public Not ( ) : BDD
Результат	BDD

Or() публичный Метод

public Or ( BDD other ) : BDD
other	BDD
Результат	BDD

PrintLeaf() защищенный Метод

protected PrintLeaf ( ) : string
Результат	string

ShiftLeft() публичный Метод

Increment the ordinals of all nodes by k, k must be nonnegative.

public ShiftLeft ( int k = 1 ) : BDD
k	int	offset
Результат	BDD

ShiftRight() публичный Метод

Decrement the ordinals of all nodes by k, k must be nonnegative.

public ShiftRight ( int k = 1 ) : BDD
k	int	offset
Результат	BDD

ToDot() публичный Метод

Store the BDD as a graph in the given file.

public ToDot ( string file ) : void
file	string
Результат	void

ToRanges() публичный Метод

public ToRanges ( int bound ) : uint>[].Pair
bound	int
Результат	uint>[].Pair

ToString() публичный Метод

public ToString ( ) : string
Результат	string

Описание свойств

One публичное свойство

The encoding of the set for lower ordinals for the case when the current bit is 1. The value is null iff IsLeaf is true.

public BDD,Microsoft.Automata One
Результат	BDD

Ordinal публичное свойство

Ordinal of this bit if nonleaf

public int Ordinal
Результат	int

Zero публичное свойство

The encoding of the set for lower ordinals for the case when the current bit is 0. The value is null iff IsLeaf is true.

public BDD,Microsoft.Automata Zero
Результат	BDD

algebra защищенное свойство

protected IBDDAlgebra algebra
Результат	IBDDAlgebra