core/assumptions_generated library

Properties

betaRules → List<(Set<(LogicAtom, bool)>, (LogicAtom, bool))>

final

betaTriggers → Map<(LogicAtom, bool), List<int>>

final

definedFacts → List<LogicAtom>

final

factRules → FactRules

final

fullImplications → Map<(LogicAtom, bool), Set<(Logic, bool)>>

final

prereq → Map<LogicAtom, Set<LogicAtom>>

final