Variable.stable

A list of relations whose union are the accepted tuples.

class Variable(TupleT, ThreadStrategy TS = ThreadStrategy.single)
Relation!TupleT[] stable;

Meta