C# Class at.jku.ssw.Coco.Sets

Show file Open project: boogie-org/boogie-partners

Public Methods

Method Description
Elements ( BitArray s ) : int
Equals ( BitArray a, BitArray b ) : bool
Intersect ( BitArray a, BitArray b ) : bool
Subtract ( BitArray a, BitArray b ) : void

Method Details

Elements() public static method

public static Elements ( BitArray s ) : int
s System.Collections.BitArray
return int

Equals() public static method

public static Equals ( BitArray a, BitArray b ) : bool
a System.Collections.BitArray
b System.Collections.BitArray
return bool

Intersect() public static method

public static Intersect ( BitArray a, BitArray b ) : bool
a System.Collections.BitArray
b System.Collections.BitArray
return bool

Subtract() public static method

public static Subtract ( BitArray a, BitArray b ) : void
a System.Collections.BitArray
b System.Collections.BitArray
return void