Modifier and Type | Field and Description |
---|---|
static ExprList |
emptyList
Empty, immutable ExprList
|
Constructor and Description |
---|
ExprList() |
ExprList(Expr expr) |
ExprList(List<Expr> x) |
Modifier and Type | Method and Description |
---|---|
void |
add(Expr expr) |
void |
addAll(ExprList exprs) |
static ExprList |
copy(ExprList other)
Create a copy which does not share the list of expressions with the original
|
ExprList |
copySubstitute(Binding binding) |
boolean |
equals(Object other) |
Expr |
get(int idx) |
List<Expr> |
getList() |
Set<Var> |
getVarsMentioned() |
int |
hashCode() |
boolean |
isEmpty() |
boolean |
isSatisfied(Binding binding,
ExecutionContext execCxt) |
Iterator<Expr> |
iterator() |
void |
prepareExprs(Context context) |
int |
size() |
static ExprList |
splitConjunction(ExprList exprList1) |
ExprList |
subList(int fromIdx,
int toIdx) |
ExprList |
tail(int fromIdx) |
String |
toString() |
void |
varsMentioned(Collection<Var> acc) |
public static final ExprList emptyList
public ExprList()
public ExprList(Expr expr)
public static ExprList copy(ExprList other)
public boolean isSatisfied(Binding binding, ExecutionContext execCxt)
public Expr get(int idx)
public int size()
public boolean isEmpty()
public ExprList subList(int fromIdx, int toIdx)
public ExprList tail(int fromIdx)
public void varsMentioned(Collection<Var> acc)
public void addAll(ExprList exprs)
public void add(Expr expr)
public void prepareExprs(Context context)
Licenced under the Apache License, Version 2.0