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() |