Uses of Class
pascal.taie.analysis.dataflow.fact.SetFact

Packages that use SetFact

Package	Description
pascal.taie.analysis.dataflow.fact

Uses of SetFact in pascal.taie.analysis.dataflow.fact

Subclasses of SetFact in pascal.taie.analysis.dataflow.fact

Modifier and Type	Class	Description
class	ToppedSetFact<E>	Represents set-like data-flow facts.

Methods in pascal.taie.analysis.dataflow.fact that return SetFact

Modifier and Type	Method	Description
SetFact<E>	SetFact.copy()	Creates and returns a copy of this fact.
SetFact<E>	SetFact.intersectWith(SetFact<E> other)
SetFact<E>	SetFact.unionWith(SetFact<E> other)

Methods in pascal.taie.analysis.dataflow.fact with parameters of type SetFact

Modifier and Type	Method	Description
boolean	SetFact.intersect(SetFact<E> other)	Intersects this fact with other fact.
boolean	ToppedSetFact.intersect(SetFact<E> other)
SetFact<E>	SetFact.intersectWith(SetFact<E> other)
boolean	SetFact.removeAll(SetFact<E> other)	Removes all elements of other fact.
void	SetFact.set(SetFact<E> other)	Sets the content of this set to the same as other set.
void	ToppedSetFact.set(SetFact<E> other)
boolean	SetFact.union(SetFact<E> other)	Unions other fact into this fact.
boolean	ToppedSetFact.union(SetFact<E> other)
SetFact<E>	SetFact.unionWith(SetFact<E> other)