public class Gates extends ExampleFD
Constructor and Description |
---|
Gates() |
Modifier and Type | Method and Description |
---|---|
void |
and(BooleanVar in1,
BooleanVar in2,
BooleanVar out)
It imposes an extensional constraint enforcing an and relationship
between two input parameters and an output parameter.
|
static void |
main(String[] args)
It executes a program to solve gates problems.
|
void |
model()
It specifies a standard way of modeling the problem.
|
void |
not(BooleanVar in,
BooleanVar out)
It imposes an extensional constraint enforcing an not relationship
between input parameter and an output parameter.
|
void |
or(BooleanVar in1,
BooleanVar in2,
BooleanVar out)
It imposes an extensional constraint enforcing an or relationship
between two input parameters and an output parameter.
|
boolean |
searchSpecific()
It provides a specific search with extensive printout of the result.
|
void |
xor(BooleanVar in1,
BooleanVar in2,
BooleanVar out)
It imposes an extensional constraint enforcing an xor relationship
between two input parameters and an output parameter.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public void model()
ExampleFD
public void and(BooleanVar in1, BooleanVar in2, BooleanVar out)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.public void or(BooleanVar in1, BooleanVar in2, BooleanVar out)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.public void xor(BooleanVar in1, BooleanVar in2, BooleanVar out)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.public void not(BooleanVar in, BooleanVar out)
in
- the first input parameter.out
- the output parameter.public static void main(String[] args)
args
- public boolean searchSpecific()
Copyright © 2015. All rights reserved.