Uses of Class
jpl.List

Packages that use List

Package	Description
jpl

Uses of List in jpl

Methods in jpl that return List

Modifier and Type	Method and Description
static List	List.list(Term t0)
static List	List.list(Term t0, Term t1)
static List	List.list(Term t0, Term t1, Term t2)
static List	List.list(Term t0, Term t1, Term t2, Term t3)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8)
static List	List.list(Term t0, Term t1, Term t2, Term t3, Term t4, Term t5, Term t6, Term t7, Term t8, Term t9)