Class PhiUpdater


  • public class PhiUpdater
    extends java.lang.Object
    • Constructor Detail

      • PhiUpdater

        public PhiUpdater()
    • Method Detail

      • getSourceVariable

        public int getSourceVariable​(int var)
      • getSynthesizedPhis

        public java.util.List<Phi> getSynthesizedPhis()
      • updatePhis

        public void updatePhis​(Program program,
                               int parameterCount)
      • getSigmasAt

        public Sigma[] getSigmasAt​(int blockIndex)
      • setSigmaPredicate

        public void setSigmaPredicate​(java.util.function.Predicate<Instruction> sigmaPredicate)
      • updatePhis

        public void updatePhis​(Program program,
                               Variable[] parameters)