public void EnterApplicaMode(Term applica)
 {
     GatheringArgumentsMode = true;
     CurrentApplica         = applica as Applica;
     NumberOfArgsRequired   = CurrentApplica.ArgumentsNumber;
 }
Esempio n. 2
0
 private static ReductionResult DefaultNoAction(Applica app, Stack <Term> args = null) => new ReductionResult(app, false);