public class Gates extends ExampleFD
Constructor and Description |
---|
Gates() |
Modifier and Type | Method and Description |
---|---|
void |
and(BooleanVar in1,
BooleanVar in2,
BooleanVar out,
BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
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 |
model(BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider) |
void |
not(BooleanVar in,
BooleanVar out,
BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
It imposes an extensional constraint enforcing an not relationship
between input parameter and an output parameter.
|
void |
or(BooleanVar in1,
BooleanVar in2,
BooleanVar out,
BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
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.
|
static Constraint |
tableConstraintProviderUsingExtensionalSTR(IntVar[] vars,
int[][] tuples) |
static Constraint |
tableConstraintProviderUsingSimpleTable(IntVar[] vars,
int[][] tuples) |
void |
xor(BooleanVar in1,
BooleanVar in2,
BooleanVar out,
BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
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 model(BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
public void and(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.tableConstraintProvider
- function that when provided input to create table constraint will create one.public void or(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.tableConstraintProvider
- function that when provided input to create table constraint will create one.public void xor(BooleanVar in1, BooleanVar in2, BooleanVar out, BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
in1
- the first input parameter.in2
- the second input parameter.out
- the output parameter.tableConstraintProvider
- function that when provided input to create table constraint will create one.public void not(BooleanVar in, BooleanVar out, BiFunction<IntVar[],int[][],Constraint> tableConstraintProvider)
in
- the first input parameter.out
- the output parameter.tableConstraintProvider
- function that when provided input to create table constraint will create one.public static void main(String[] args)
args
- parameters (none)public boolean searchSpecific()
public static Constraint tableConstraintProviderUsingSimpleTable(IntVar[] vars, int[][] tuples)
public static Constraint tableConstraintProviderUsingExtensionalSTR(IntVar[] vars, int[][] tuples)
Copyright © 2022. All rights reserved.