Java HashSet示例

示例#1

文件： ImpliesFormula.java 项目： narechiga/proteus

 public Set<RealVariable> getFreeVariables() {
   HashSet<RealVariable> freeVariables = new HashSet<RealVariable>();
   freeVariables.addAll(getLHS().getFreeVariables());
   freeVariables.addAll(getRHS().getFreeVariables());
   return freeVariables;
 }

示例#2

文件： ImpliesFormula.java 项目： narechiga/proteus

 public Set<RealVariable> getDynamicVariables() {
   HashSet<RealVariable> dynamicVariables = new HashSet<RealVariable>();
   dynamicVariables.addAll(getLHS().getDynamicVariables());
   dynamicVariables.addAll(getRHS().getDynamicVariables());
   return dynamicVariables;
 }

示例#3

文件： ImpliesFormula.java 项目： narechiga/proteus

 public Set<RealVariable> getBoundVariables() {
   HashSet<RealVariable> boundVariables = new HashSet<RealVariable>();
   boundVariables.addAll(getLHS().getBoundVariables());
   boundVariables.addAll(getRHS().getBoundVariables());
   return boundVariables;
 }