Searched defs:FormulaTransformation (Results 1 – 1 of 1) sorted by relevance
497 struct FormulaTransformation { struct498 FormulaTransformation(InferenceRule r, Unit* p) : rule(r), premise(p) {} in FormulaTransformation() argument499 InferenceRule rule;500 Unit* premise;