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;
 }