public final class Paths
extends java.lang.Object
implements java.lang.Iterable<ru.ispras.fortress.solver.constraint.Constraint>
| Modifier and Type | Method and Description |
|---|---|
java.util.Iterator<ru.ispras.fortress.solver.constraint.Constraint> |
iterator() |