All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`add(Origin origin, Fact fact)`
`FactSet`	`clone()`
`boolean`	`equals(Object o)`
`HashMap<Origin,HashSet<Fact>>`	`facts()`
`int`	`hashCode()`
`void`	`merge(FactSet other)`
`int`	`size()`
`java.util.stream.Stream<Fact>`	`stream()`
`java.util.stream.Stream`	`stream(TrustedOrigins blockIds)`
`String`	`toString()`

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

public FactSet(Origin o,
               HashSet<Fact> factSet)

public HashMap<Origin,HashSet<Fact>> facts()

public void add(Origin origin,
                Fact fact)

public java.util.stream.Stream stream(TrustedOrigins blockIds)

public java.util.stream.Stream<Fact> stream()

Constructors
Constructor	Description
`FactSet()`
`FactSet(Origin o, HashSet<Fact> factSet)`

Class FactSet