Uses of Record Class
org.ddolib.examples.max2sat.Max2SatState

Packages that use Max2SatState

Package	Description
org.ddolib.examples.max2sat	This package implements the acs, astar and ddo models for the Maximum 2-Satisfiability Problem (MAX2SAT) Problem.

Uses of Max2SatState in org.ddolib.examples.max2sat

Methods in org.ddolib.examples.max2sat that return Max2SatState

Modifier and Type	Method	Description
Max2SatState	Max2SatProblem.initialState()
Max2SatState	Max2SatRelax.mergeStates(Iterator<Max2SatState> states)	Merges multiple Max2SatState instances into a single relaxed state.
Max2SatState	Max2SatProblem.transition(Max2SatState state, Decision decision)

Methods in org.ddolib.examples.max2sat with parameters of type Max2SatState

Modifier and Type	Method	Description
int	Max2SatRanking.compare(Max2SatState o1, Max2SatState o2)
Iterator<Integer>	Max2SatProblem.domain(Max2SatState state, int var)
double	Max2SatFastLowerBound.fastLowerBound(Max2SatState state, Set<Integer> variables)	Computes the fast lower bound for a given state and set of remaining variables.
static int	Max2SatRanking.rank(Max2SatState state)
double	Max2SatRelax.relaxEdge(Max2SatState from, Max2SatState to, Max2SatState merged, Decision d, double cost)	Adjusts the cost of transitioning from one state to another in the relaxed model.
Max2SatState	Max2SatProblem.transition(Max2SatState state, Decision decision)
double	Max2SatProblem.transitionCost(Max2SatState state, Decision decision)

Method parameters in org.ddolib.examples.max2sat with type arguments of type Max2SatState

Modifier and Type	Method	Description
Max2SatState	Max2SatRelax.mergeStates(Iterator<Max2SatState> states)	Merges multiple Max2SatState instances into a single relaxed state.