public class QueueForward<T extends Constraint> extends Object
Modifier and Type | Field and Description |
---|---|
Map<Var,List<T>> |
forwardMap |
boolean |
isEmpty |
Constructor and Description |
---|
QueueForward(Collection<T> constraints,
Collection<Var> variables) |
QueueForward(Collection<T> constraints,
Var var) |
QueueForward(T[] constraints,
Collection<Var> vars) |
QueueForward(T[] constraints,
Var[] vars) |
QueueForward(T constraint,
Collection<Var> vars) |
QueueForward(T constraint,
Var var) |
public final Map<Var,List<T extends Constraint>> forwardMap
public final boolean isEmpty
public QueueForward(Collection<T> constraints, Collection<Var> variables)
public QueueForward(T[] constraints, Collection<Var> vars)
public QueueForward(T constraint, Collection<Var> vars)
public QueueForward(Collection<T> constraints, Var var)
public boolean isEmpty()
public void queueForward(int level, Var variable)
Copyright © 2022. All rights reserved.