Polyman Documentation - v2.2.2
    Preparing search index...

    Interface default

    Local configuration file structure for managing Polygon problems. This extends Polygon API types with local workspace information.

    ConfigFile

    interface default {
        problemId?: number;
        name: string;
        owner?: string;
        revision?: number;
        timeLimit: number;
        memoryLimit: number;
        inputFile: string;
        outputFile: string;
        interactive: boolean;
        tags?: string[];
        description?: string;
        tutorial?: string;
        statements: { [language: string]: StatementConfig };
        solutions: LocalSolution[];
        generators?: LocalGenerator[];
        checker: LocalChecker;
        validator: LocalValidator;
        testsets?: LocalTestset[];
    }
    Index

    Properties

    problemId?: number

    Polygon problem ID (if already created)

    name: string

    Problem name/identifier

    owner?: string

    Problem owner username

    revision?: number

    Current revision number

    timeLimit: number

    Time limit in milliseconds

    memoryLimit: number

    Memory limit in megabytes

    inputFile: string

    Input file name

    outputFile: string

    Output file name

    interactive: boolean

    Whether problem is interactive

    tags?: string[]

    Problem tags/categories

    description?: string

    General problem description

    tutorial?: string

    General tutorial text

    statements: { [language: string]: StatementConfig }

    Problem statements by language

    solutions: LocalSolution[]

    Solution configurations

    generators?: LocalGenerator[]

    Generator configurations

    checker: LocalChecker

    Checker configuration

    validator: LocalValidator

    Validator configuration

    testsets?: LocalTestset[]

    Testset configurations