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.