public static Analysis analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)
public AstModel getModel()
public AstSetExpr getExpr(Objective objective)
public Map<Objective,AstSetExpr> getObjectiveExprs()
public Analysis setObjectiveExprs(Map<Objective,AstSetExpr> objectiveExprs)
public List<AstClafer> getClafers()
public List<AstAbstractClafer> getAbstractClafers()
public List<AstConcreteClafer> getConcreteClafers()
public List<Set<AstClafer>> getClafersInParentAndSubOrder()
public List<AstConstraint> getConstraints()
public Analysis setConstraints(List<AstConstraint> constraints)
public boolean isHard(AstConstraint constraint)
public boolean isSoft(AstConstraint constraint)
public Set<AstConstraint> getHardConstraints()
public Analysis setHardConstraints(Set<AstConstraint> hardConstraints)
public AstBoolExpr getExpr(AstConstraint constraint)
public Map<AstConstraint,AstBoolExpr> getConstraintExprs()
public Analysis setConstraintExprs(Map<AstConstraint,AstBoolExpr> constraintExprs)
public Card getCard(AstConcreteClafer clafer)
public Map<AstConcreteClafer,Card> getCardMap()
public Analysis setCardMap(Map<AstConcreteClafer,Card> cardMap)
public Card getGlobalCard(AstClafer clafer)
public Map<AstClafer,Card> getGlobalCardMap()
public Analysis setGlobalCardMap(Map<AstClafer,Card> globalCardMap)
public Map<AstClafer,Format> getFormatMap()
public Analysis setFormatMap(Map<AstClafer,Format> formatMap)
public Pair<AstConcreteClafer,Integer> getConcreteId(AstClafer clafer, int id)
public Pair<AstClafer,Integer> getSubId(AstAbstractClafer clafer, int id)
public Pair<AstAbstractClafer,Integer> getSuperId(AstClafer clafer, int id)
public List<Pair<AstAbstractClafer,Integer>> getSuperIds(AstClafer clafer, int id)
public Pair<AstRef,Integer> getInheritedRefId(AstClafer clafer)
public Offsets getOffsets(AstAbstractClafer clafer)
public Map<AstAbstractClafer,Offsets> getOffsetMap()
public Analysis setOffsetMap(Map<AstAbstractClafer,Offsets> offsetMap)
public PartialSolution getPartialSolution(AstClafer clafer)
public Map<AstClafer,PartialSolution> getPartialSolutionMap()
public Analysis setPartialSolutionMap(Map<AstClafer,PartialSolution> partialSolutionMap)
public IrDomain[] getPartialInts(AstRef ref)
public Map<AstRef,IrDomain[]> getPartialIntsMap()
public Analysis setPartialIntsMap(Map<AstRef,IrDomain[]> partialIntsMap)
public boolean hasInteritedBreakableChildren(AstClafer clafer)
public boolean hasBreakableChildren(AstClafer clafer)
public AstConcreteClafer[] getBreakableChildren(AstClafer clafer)
public Map<AstClafer,AstConcreteClafer[]> getBreakableChildrenMap()
public Analysis setBreakableChildrenMap(Map<AstClafer,AstConcreteClafer[]> breakableChildren)
public boolean isBreakableRef(AstRef ref)
public boolean isBreakableRefId(AstRef ref, int id)
public Map<AstRef,int[]> getBreakableRefsMap()
public Analysis setBreakableRefsMap(Map<AstRef,int[]> breakableRefs)
public boolean isInheritedBreakableTarget(AstClafer clafer)
public boolean isBreakableTarget(AstClafer clafer)
public AstRef[] getBreakableTarget(AstClafer clafer)
public Map<AstClafer,AstRef[]> getBreakableTargetsMap()
public Analysis setBreakableTargetsMap(Map<AstClafer,AstRef[]> breakableTargetsMap)
public AstClafer getCommonSupertype(AstExpr expr)
public Map<AstExpr,Type> getTypeMap()
public Analysis setTypeMap(Map<AstExpr,Type> typeMap)
Copyright © 2013. All Rights Reserved.