protected internal MethodCallFormulaRef( IFormulaRef instance, IMethodDeclaration method, Collection<IFormulaRef> arguments, ITypeDeclaration type, IFormulaRef parent) : base(instance, method, arguments.ToReadOnlyWithCast<IFormula>(), type, parent) { this.parent = parent; this.instance = instance; this.arguments = arguments; }
protected internal BlockFormulaRef( IBlockFormulaRef parentBlock, Collection<IBlockFormulaRef> childBlocks, Collection<IFormulaRef> variables, Collection<IFormulaRef> formulas, IFormulaRef result, ITypeDeclaration type, IFormulaRef parent) : base(parentBlock, childBlocks.ToReadOnlyWithCast<IBlockFormula>(), variables.ToReadOnlyWithCast<IFormula>(), formulas.ToReadOnlyWithCast<IFormula>(), result, type, parent) { this.parent = parent; this.parentBlock = parentBlock; this.childBlocks = childBlocks; this.variables = variables; this.formulas = formulas; this.result = result; }