public class RavenBDDPairing extends Object
RavenBDDFactory
,
RavenBDD
,
RavenBDDDomain
Modifier and Type | Method and Description |
---|---|
static RavenBDDPairing |
makePair()
Creates a new BDD pairing.
|
void |
set(int[] first,
int[] second)
Add the first int[] and the second int[] to this pairing.
|
void |
set(RavenBDDDomain first,
RavenBDDDomain second)
Adds two BDD domains as a pair to this BDD pairing.
|
void |
set(RavenBDD first,
RavenBDD second)
Adds two BDDs as a pair to this BDD pairing.
|
public static RavenBDDPairing makePair()
public void set(RavenBDD first, RavenBDD second)
first
- the first BDDsecond
- the second BDDpublic void set(int[] first, int[] second)
first
- the first int[]second
- the second int[]public void set(RavenBDDDomain first, RavenBDDDomain second)
first
- the first BDD domainsecond
- the second BDD domain