ConstraintContextPrimitive¶

public abstract class ConstraintContextPrimitive extends AbstractPrimitive¶

Fields¶

tvars¶

protected final int tvars¶

Constructors¶

ConstraintContextPrimitive¶

public ConstraintContextPrimitive(String name)¶

ConstraintContextPrimitive¶

public ConstraintContextPrimitive(String name, int tvars)¶

Methods¶

call¶

public final boolean call(IContext env, Strategy[] svars, IStrategoTerm[] tvars)¶

call¶

protected abstract Optional<? extends IStrategoTerm> call(IConstraintContext context, IStrategoTerm term, List<IStrategoTerm> terms, ITermFactory factory)¶

Read the Docs v: latest

Versions: latest

Downloads: htmlzip

On Read the Docs: Project Home; Builds

Free document hosting provided by Read the Docs.