org.clafer.ast.compiler

Class AstCompiler

java.lang.Object

org.clafer.ast.compiler.AstCompiler

public class AstCompiler
extends Object

Compile from AST to IR.

Author:

jimmy

Field Summary

Fields

Modifier and Type	Field and Description
static Analyzer[]	DefaultAnalyzers

Method Summary

Methods

Modifier and Type	Method and Description
static AstSolutionMap	compile(AstModel in, Scope scope, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	compile(AstModel in, Scope scope, IrModule out, boolean fullSymmetryBreaking)
static AstSolutionMap	compile(AstModel in, Scope scope, Objective objective, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	compile(AstModel in, Scope scope, Objective objective, IrModule out, boolean fullSymmetryBreaking)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DefaultAnalyzers

public static final Analyzer[] DefaultAnalyzers

Method Detail

compile

public static AstSolutionMap compile(AstModel in,
                     Scope scope,
                     IrModule out,
                     boolean fullSymmetryBreaking)

compile

public static AstSolutionMap compile(AstModel in,
                     Scope scope,
                     IrModule out,
                     Analyzer[] analyzers,
                     boolean fullSymmetryBreaking)

compile

public static AstSolutionMap compile(AstModel in,
                     Scope scope,
                     Objective objective,
                     IrModule out,
                     boolean fullSymmetryBreaking)

compile

public static AstSolutionMap compile(AstModel in,
                     Scope scope,
                     Objective objective,
                     IrModule out,
                     Analyzer[] analyzers,
                     boolean fullSymmetryBreaking)