// Look up a previously instantiated SubSequence relationship.
public static SubSequence find(PptSlice ppt) {
Assert.assertTrue(ppt.arity() == 2);
for (Invariant inv : ppt.invs) {
if (inv instanceof SubSequence) return (SubSequence) inv;
}
return null;
}
// Look up a previously instantiated invariant.
public static EltwiseIntEqual find(PptSlice ppt) {
Assert.assertTrue(ppt.arity() == 1);
for (Invariant inv : ppt.invs) {
if (inv instanceof EltwiseIntEqual) return (EltwiseIntEqual) inv;
}
return null;
}
// Look up a previously instantiated invariant.
public static /*@Nullable*/ Modulus find(PptSlice ppt) {
assert ppt.arity() == 1;
for (Invariant inv : ppt.invs) {
if (inv instanceof Modulus) return (Modulus) inv;
}
return null;
}
// Look up a previously instantiated invariant.
public static /*@Nullable*/ EltwiseIntLessThan find(PptSlice ppt) {
assert ppt.arity() == 1;
for (Invariant inv : ppt.invs) {
if (inv instanceof EltwiseIntLessThan) return (EltwiseIntLessThan) inv;
}
return null;
}
// Look up a previously instantiated invariant.
public static PairwiseIntLessThan find(PptSlice ppt) {
Assert.assertTrue(ppt.arity() == 2);
for (Invariant inv : ppt.invs) {
if (inv instanceof PairwiseIntLessThan) return (PairwiseIntLessThan) inv;
}
return null;
}