- i -

• IntegerNodePicker() : ca.uqac.lif.synthia.tree.IntegerNodePicker
• ints() : ca.uqac.lif.synthia.random.Random
• isDone() : ca.uqac.lif.synthia.Bounded< T > , ca.uqac.lif.synthia.enumerative.AllBooleans , ca.uqac.lif.synthia.enumerative.AllElements< T > , ca.uqac.lif.synthia.enumerative.AllIntegers , ca.uqac.lif.synthia.enumerative.AllPickers , ca.uqac.lif.synthia.enumerative.Bound< T > , ca.uqac.lif.synthia.sequence.Playback< T > , ca.uqac.lif.synthia.sequence.Record< T >
• isPrime() : examples.quickcheck.Prime
• isSorted() : examples.quickcheck.Sort