Class TreeNet


  • public class TreeNet
    extends Object
    Author:
    Simon Thoresen Hult
    • Constructor Detail

      • TreeNet

        public TreeNet​(String begin,
                       Map<String,​Tree> trees)
        Constructs a new tree net.
        Parameters:
        begin - The id of the first tree to run in this net.
        trees - All named trees of this net.
    • Method Detail

      • getBegin

        public String getBegin()
        Returns the id of the first tree to run in this net.
      • getTrees

        public Map<String,​Tree> getTrees()
        Returns all named trees of this net.
      • toRankingExpression

        public String toRankingExpression()
        Returns a ranking expression equivalent of this net.