Modifier and Type | Method and Description |
---|---|
boolean |
symbol_set.add(symbol_set other)
Add (union) in a complete set.
|
boolean |
symbol_set.equals(symbol_set other)
Equality comparison.
|
boolean |
symbol_set.is_subset_of(symbol_set other)
Determine if this set is an (improper) subset of another.
|
boolean |
symbol_set.is_superset_of(symbol_set other)
Determine if this set is an (improper) superset of another.
|
void |
symbol_set.remove(symbol_set other)
Remove (set subtract) a complete set.
|
Constructor and Description |
---|
symbol_set(symbol_set other)
Constructor for cloning from another set.
|
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.