KADABRA API

LARA API

(.js)
laraImport("lara.util.TupleId");

(.lara)
import lara.util.TupleId;

Instance Members

new TupleId()

Creates ids for arbitrary tuples.

getId()

Number - an unique id associated with the given tuple

getTuples()

any - An array where each element is an array which contains a tuple and the corresponding id