Constructor and Description |
---|
ExprList() |
ExprList(Expr expr) |
ExprList(ExprList other) |
ExprList(List<Expr> x) |
Modifier and Type | Method and Description |
---|---|
void |
add(Expr expr) |
void |
addAll(ExprList exprs) |
ExprList |
copySubstitute(Binding binding) |
ExprList |
copySubstitute(Binding binding,
boolean foldConstants) |
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 ExprList()
public ExprList(ExprList other)
public ExprList(Expr expr)
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