C# 클래스 Microsoft.Automata.BDD

Represents a Binary Decision Diagram.
파일 보기 프로젝트 열기: AutomataDotNet/Automata 1 사용 예제들

공개 프로퍼티들

프로퍼티 타입 설명
One BDD
Ordinal int
Zero BDD

보호된 프로퍼티들

프로퍼티 타입 설명
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